Mart Lubbers [Fri, 17 Jun 2016 17:53:11 +0000 (19:53 +0200)]
overvolle hboxen opruimen
Mart Lubbers [Fri, 17 Jun 2016 17:48:17 +0000 (19:48 +0200)]
gen gekuist
Mart Lubbers [Fri, 17 Jun 2016 16:50:15 +0000 (18:50 +0200)]
update gen
Mart Lubbers [Fri, 17 Jun 2016 15:23:58 +0000 (17:23 +0200)]
update eval
Mart Lubbers [Fri, 17 Jun 2016 14:56:41 +0000 (16:56 +0200)]
check alles behalve gen.icl
pimjager [Fri, 17 Jun 2016 11:32:23 +0000 (13:32 +0200)]
clean up
pimjager [Fri, 17 Jun 2016 10:58:02 +0000 (12:58 +0200)]
s
pimjager [Wed, 15 Jun 2016 13:23:01 +0000 (15:23 +0200)]
report dingetejes
Mart Lubbers [Wed, 15 Jun 2016 09:59:18 +0000 (11:59 +0200)]
push
pimjager [Tue, 14 Jun 2016 21:46:20 +0000 (23:46 +0200)]
Improved stuff on Yard
pimjager [Tue, 14 Jun 2016 21:36:02 +0000 (23:36 +0200)]
Sem fixed
pimjager [Tue, 14 Jun 2016 20:45:42 +0000 (22:45 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Tue, 14 Jun 2016 15:56:28 +0000 (17:56 +0200)]
update todo
Mart Lubbers [Tue, 14 Jun 2016 15:37:59 +0000 (17:37 +0200)]
dikke update
Mart Lubbers [Tue, 14 Jun 2016 11:30:03 +0000 (13:30 +0200)]
update'
Mart Lubbers [Tue, 14 Jun 2016 07:50:16 +0000 (09:50 +0200)]
klein dig
pimjager [Tue, 14 Jun 2016 07:47:24 +0000 (09:47 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Tue, 14 Jun 2016 07:47:21 +0000 (09:47 +0200)]
sdfsdf
Mart Lubbers [Tue, 14 Jun 2016 07:46:53 +0000 (09:46 +0200)]
todo.txt
pimjager [Mon, 13 Jun 2016 20:23:53 +0000 (22:23 +0200)]
Added inferenece formulas, need some explaination and formatting
Mart Lubbers [Sat, 11 Jun 2016 06:15:15 +0000 (08:15 +0200)]
parse example toegevoegd
pimjager [Fri, 10 Jun 2016 19:43:40 +0000 (21:43 +0200)]
Work in progress inference
Mart Lubbers [Fri, 10 Jun 2016 10:33:06 +0000 (12:33 +0200)]
some updates
Mart Lubbers [Fri, 10 Jun 2016 07:28:21 +0000 (09:28 +0200)]
stukje lexen gedaan
pimjager [Thu, 9 Jun 2016 18:16:29 +0000 (20:16 +0200)]
Report type checking wip
pimjager [Thu, 9 Jun 2016 16:41:09 +0000 (18:41 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 9 Jun 2016 16:40:23 +0000 (18:40 +0200)]
report type checking wip
Mart Lubbers [Thu, 9 Jun 2016 14:51:17 +0000 (16:51 +0200)]
grammars
pimjager [Thu, 9 Jun 2016 14:21:23 +0000 (16:21 +0200)]
Working sem part of report
Mart Lubbers [Thu, 9 Jun 2016 14:02:02 +0000 (16:02 +0200)]
lex ding
pimjager [Thu, 9 Jun 2016 12:33:20 +0000 (14:33 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 9 Jun 2016 12:32:14 +0000 (14:32 +0200)]
examples
Mart Lubbers [Thu, 9 Jun 2016 10:21:53 +0000 (12:21 +0200)]
update intro en spl
Mart Lubbers [Thu, 9 Jun 2016 08:55:45 +0000 (10:55 +0200)]
update'
git pus
pimjager [Thu, 2 Jun 2016 10:55:59 +0000 (12:55 +0200)]
added slide on dictionary
pimjager [Thu, 2 Jun 2016 10:46:05 +0000 (12:46 +0200)]
fixed examples
pimjager [Thu, 2 Jun 2016 09:27:26 +0000 (11:27 +0200)]
improved presentation
Mart Lubbers [Thu, 2 Jun 2016 08:00:04 +0000 (10:00 +0200)]
ding
Mart Lubbers [Wed, 1 Jun 2016 20:00:26 +0000 (22:00 +0200)]
updates:)
Mart Lubbers [Wed, 1 Jun 2016 17:57:11 +0000 (19:57 +0200)]
betere code
pimjager [Wed, 1 Jun 2016 11:12:36 +0000 (13:12 +0200)]
Added listliterals
pimjager [Tue, 31 May 2016 21:49:47 +0000 (23:49 +0200)]
future work slide
Mart Lubbers [Tue, 31 May 2016 09:17:45 +0000 (11:17 +0200)]
Weghalen unresolved labels en update examples
pimjager [Mon, 30 May 2016 16:08:31 +0000 (18:08 +0200)]
First version slides
pimjager [Mon, 30 May 2016 15:31:15 +0000 (17:31 +0200)]
Working on slides for p4
Mart Lubbers [Sun, 29 May 2016 19:11:10 +0000 (21:11 +0200)]
nu met en nu zonder
Mart Lubbers [Sun, 29 May 2016 19:09:17 +0000 (21:09 +0200)]
printen en parsen voor de demo
Mart Lubbers [Sun, 29 May 2016 18:52:28 +0000 (20:52 +0200)]
hoi
Mart Lubbers [Thu, 26 May 2016 20:46:56 +0000 (22:46 +0200)]
comments over wat te doen toegevoegd
Mart Lubbers [Thu, 26 May 2016 20:44:08 +0000 (22:44 +0200)]
stukje over incomplete functions
Mart Lubbers [Thu, 26 May 2016 20:17:59 +0000 (22:17 +0200)]
started with report
Mart Lubbers [Thu, 26 May 2016 19:44:38 +0000 (21:44 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 19:44:30 +0000 (21:44 +0200)]
starten met p4 presentatie
pimjager [Thu, 26 May 2016 17:46:17 +0000 (19:46 +0200)]
Fixed inference with typed functions
Mart Lubbers [Thu, 26 May 2016 16:54:17 +0000 (18:54 +0200)]
pim
Mart Lubbers [Thu, 26 May 2016 16:40:18 +0000 (18:40 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 16:40:12 +0000 (18:40 +0200)]
demo
pimjager [Thu, 26 May 2016 16:18:51 +0000 (18:18 +0200)]
lambdas without params, lambdas are now passed as vars instead of funcs
pimjager [Thu, 26 May 2016 16:07:47 +0000 (18:07 +0200)]
Fixed printing from lambdas
pimjager [Thu, 26 May 2016 15:48:31 +0000 (17:48 +0200)]
Working lambdas uitroepteken
pimjager [Thu, 26 May 2016 14:50:44 +0000 (16:50 +0200)]
merge master
Mart Lubbers [Thu, 26 May 2016 14:40:56 +0000 (16:40 +0200)]
faculty
Mart Lubbers [Thu, 26 May 2016 14:37:36 +0000 (16:37 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 14:37:34 +0000 (16:37 +0200)]
GEEN MERGE CONFLICT
pimjager [Thu, 26 May 2016 14:33:13 +0000 (16:33 +0200)]
Sem now prints Gamma
Mart Lubbers [Thu, 26 May 2016 14:28:39 +0000 (16:28 +0200)]
wowwww
pimjager [Thu, 26 May 2016 14:24:48 +0000 (16:24 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 14:19:18 +0000 (16:19 +0200)]
hoi'
git psu
pimjager [Thu, 26 May 2016 14:16:23 +0000 (16:16 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 26 May 2016 14:16:03 +0000 (16:16 +0200)]
fold tempTest
Mart Lubbers [Thu, 26 May 2016 13:25:42 +0000 (15:25 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 13:25:33 +0000 (15:25 +0200)]
.
pimjager [Thu, 26 May 2016 13:22:02 +0000 (15:22 +0200)]
Lambda WIP
pimjager [Thu, 26 May 2016 13:00:59 +0000 (15:00 +0200)]
parsing lambdas
pimjager [Thu, 26 May 2016 12:14:20 +0000 (14:14 +0200)]
Fixed Markus example
pimjager [Thu, 26 May 2016 11:13:04 +0000 (13:13 +0200)]
Improved Let syntax and improvements to type system
pimjager [Thu, 26 May 2016 10:31:12 +0000 (12:31 +0200)]
Basic Let functionality
pimjager [Thu, 26 May 2016 09:51:27 +0000 (11:51 +0200)]
testfiles
Mart Lubbers [Wed, 25 May 2016 14:47:50 +0000 (16:47 +0200)]
test
Mart Lubbers [Wed, 25 May 2016 14:27:16 +0000 (16:27 +0200)]
jo
Mart Lubbers [Wed, 25 May 2016 11:16:04 +0000 (13:16 +0200)]
ding
git push o
Mart Lubbers [Wed, 25 May 2016 10:42:33 +0000 (12:42 +0200)]
HIGHER ORDER FUNCTIONSgit add .git add .!
Mart Lubbers [Tue, 24 May 2016 13:14:47 +0000 (15:14 +0200)]
add arity to ADDR
Mart Lubbers [Tue, 24 May 2016 13:05:46 +0000 (15:05 +0200)]
ding'
git pu
Mart Lubbers [Tue, 24 May 2016 12:59:33 +0000 (14:59 +0200)]
opslaan van higher order functions aangepast
Mart Lubbers [Tue, 24 May 2016 10:52:29 +0000 (12:52 +0200)]
add function dictionary 1func
Mart Lubbers [Mon, 23 May 2016 17:29:31 +0000 (19:29 +0200)]
fixed printing:)
pimjager [Mon, 23 May 2016 14:19:24 +0000 (16:19 +0200)]
fixed read
Mart Lubbers [Fri, 20 May 2016 19:06:59 +0000 (21:06 +0200)]
test"
git"
git
Mart Lubbers [Fri, 20 May 2016 18:40:16 +0000 (20:40 +0200)]
fix escapes in literal strings
Mart Lubbers [Fri, 20 May 2016 18:05:31 +0000 (20:05 +0200)]
add string literals
Mart Lubbers [Fri, 20 May 2016 17:15:28 +0000 (19:15 +0200)]
printBool
pimjager [Fri, 20 May 2016 15:44:11 +0000 (17:44 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Fri, 20 May 2016 15:37:19 +0000 (17:37 +0200)]
print specialised
pimjager [Fri, 20 May 2016 14:55:50 +0000 (16:55 +0200)]
blabla
Mart Lubbers [Fri, 20 May 2016 14:44:41 +0000 (16:44 +0200)]
ding
Mart Lubbers [Fri, 20 May 2016 14:39:18 +0000 (16:39 +0200)]
add last exception for functype
Mart Lubbers [Fri, 20 May 2016 14:37:15 +0000 (16:37 +0200)]
.
Mart Lubbers [Fri, 20 May 2016 14:31:15 +0000 (16:31 +0200)]
add constant functs
Mart Lubbers [Fri, 20 May 2016 14:20:41 +0000 (16:20 +0200)]
add funtype
repositories / cc1516.git / log