cc1516.git
8 years agocurry gotcha master
pimjager [Thu, 23 Jun 2016 13:59:23 +0000 (15:59 +0200)]
curry gotcha

8 years agoMaybe fmap no longer edits input
pimjager [Thu, 23 Jun 2016 10:38:59 +0000 (12:38 +0200)]
Maybe fmap no longer edits input

8 years agoExamples
pimjager [Thu, 23 Jun 2016 10:35:23 +0000 (12:35 +0200)]
Examples

8 years agomooie seplist
Mart Lubbers [Thu, 23 Jun 2016 10:03:24 +0000 (12:03 +0200)]
mooie seplist

8 years agoImproved parse sep list
pimjager [Thu, 23 Jun 2016 09:57:36 +0000 (11:57 +0200)]
Improved parse sep list

8 years agostupid higher order functions
pimjager [Thu, 23 Jun 2016 07:45:50 +0000 (09:45 +0200)]
stupid higher order functions

8 years agosmall update type check
pimjager [Thu, 23 Jun 2016 07:12:55 +0000 (09:12 +0200)]
small update type check

8 years agofixed chaining of fieldselectors
pimjager [Tue, 21 Jun 2016 10:20:49 +0000 (12:20 +0200)]
fixed chaining of fieldselectors

8 years agoFieldselectors when assigning
pimjager [Tue, 21 Jun 2016 10:12:11 +0000 (12:12 +0200)]
Fieldselectors when assigning

8 years agofixed field selectors on arity 0 functions
pimjager [Tue, 21 Jun 2016 09:29:20 +0000 (11:29 +0200)]
fixed field selectors on arity 0 functions

8 years agoFixed checking of lists
pimjager [Tue, 21 Jun 2016 09:12:04 +0000 (11:12 +0200)]
Fixed checking of lists

8 years agoimproving type checking
pimjager [Tue, 21 Jun 2016 08:50:52 +0000 (10:50 +0200)]
improving type checking

8 years agoother small Sem fix
pimjager [Sun, 19 Jun 2016 12:15:23 +0000 (14:15 +0200)]
other small Sem fix

8 years agosmall fix eval
pimjager [Sun, 19 Jun 2016 12:10:12 +0000 (14:10 +0200)]
small fix eval

8 years agoupdate pars
pimjager [Sun, 19 Jun 2016 11:53:20 +0000 (13:53 +0200)]
update pars

8 years agoupdate
Mart Lubbers [Sun, 19 Jun 2016 09:55:10 +0000 (11:55 +0200)]
update

8 years agofix nog meer boxen en referenties
Mart Lubbers [Fri, 17 Jun 2016 18:16:28 +0000 (20:16 +0200)]
fix nog meer boxen en referenties

8 years agoovervolle hboxen opruimen
Mart Lubbers [Fri, 17 Jun 2016 17:53:11 +0000 (19:53 +0200)]
overvolle hboxen opruimen

8 years agogen gekuist
Mart Lubbers [Fri, 17 Jun 2016 17:48:17 +0000 (19:48 +0200)]
gen gekuist

8 years agoupdate gen
Mart Lubbers [Fri, 17 Jun 2016 16:50:15 +0000 (18:50 +0200)]
update gen

8 years agoupdate eval
Mart Lubbers [Fri, 17 Jun 2016 15:23:58 +0000 (17:23 +0200)]
update eval

8 years agocheck alles behalve gen.icl
Mart Lubbers [Fri, 17 Jun 2016 14:56:41 +0000 (16:56 +0200)]
check alles behalve gen.icl

8 years agoclean up
pimjager [Fri, 17 Jun 2016 11:32:23 +0000 (13:32 +0200)]
clean up

8 years agos
pimjager [Fri, 17 Jun 2016 10:58:02 +0000 (12:58 +0200)]
s

8 years agoreport dingetejes
pimjager [Wed, 15 Jun 2016 13:23:01 +0000 (15:23 +0200)]
report dingetejes

8 years agopush
Mart Lubbers [Wed, 15 Jun 2016 09:59:18 +0000 (11:59 +0200)]
push

8 years agoImproved stuff on Yard
pimjager [Tue, 14 Jun 2016 21:46:20 +0000 (23:46 +0200)]
Improved stuff on Yard

8 years agoSem fixed
pimjager [Tue, 14 Jun 2016 21:36:02 +0000 (23:36 +0200)]
Sem fixed

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Tue, 14 Jun 2016 20:45:42 +0000 (22:45 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoupdate todo
Mart Lubbers [Tue, 14 Jun 2016 15:56:28 +0000 (17:56 +0200)]
update todo

8 years agodikke update
Mart Lubbers [Tue, 14 Jun 2016 15:37:59 +0000 (17:37 +0200)]
dikke update

8 years agoupdate'
Mart Lubbers [Tue, 14 Jun 2016 11:30:03 +0000 (13:30 +0200)]
update'

8 years agoklein dig
Mart Lubbers [Tue, 14 Jun 2016 07:50:16 +0000 (09:50 +0200)]
klein dig

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Tue, 14 Jun 2016 07:47:24 +0000 (09:47 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agosdfsdf
pimjager [Tue, 14 Jun 2016 07:47:21 +0000 (09:47 +0200)]
sdfsdf

8 years agotodo.txt
Mart Lubbers [Tue, 14 Jun 2016 07:46:53 +0000 (09:46 +0200)]
todo.txt

8 years agoAdded inferenece formulas, need some explaination and formatting
pimjager [Mon, 13 Jun 2016 20:23:53 +0000 (22:23 +0200)]
Added inferenece formulas, need some explaination and formatting

8 years agoparse example toegevoegd
Mart Lubbers [Sat, 11 Jun 2016 06:15:15 +0000 (08:15 +0200)]
parse example toegevoegd

8 years ago Work in progress inference
pimjager [Fri, 10 Jun 2016 19:43:40 +0000 (21:43 +0200)]
 Work in progress inference

8 years agosome updates
Mart Lubbers [Fri, 10 Jun 2016 10:33:06 +0000 (12:33 +0200)]
some updates

8 years agostukje lexen gedaan
Mart Lubbers [Fri, 10 Jun 2016 07:28:21 +0000 (09:28 +0200)]
stukje lexen gedaan

8 years agoReport type checking wip
pimjager [Thu, 9 Jun 2016 18:16:29 +0000 (20:16 +0200)]
Report type checking wip

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 9 Jun 2016 16:41:09 +0000 (18:41 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoreport type checking wip
pimjager [Thu, 9 Jun 2016 16:40:23 +0000 (18:40 +0200)]
report type checking wip

8 years agogrammars
Mart Lubbers [Thu, 9 Jun 2016 14:51:17 +0000 (16:51 +0200)]
grammars

8 years agoWorking sem part of report
pimjager [Thu, 9 Jun 2016 14:21:23 +0000 (16:21 +0200)]
Working sem part of report

8 years agolex ding
Mart Lubbers [Thu, 9 Jun 2016 14:02:02 +0000 (16:02 +0200)]
lex ding

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 9 Jun 2016 12:33:20 +0000 (14:33 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoexamples
pimjager [Thu, 9 Jun 2016 12:32:14 +0000 (14:32 +0200)]
examples

8 years agoupdate intro en spl
Mart Lubbers [Thu, 9 Jun 2016 10:21:53 +0000 (12:21 +0200)]
update intro en spl

8 years agoupdate'
Mart Lubbers [Thu, 9 Jun 2016 08:55:45 +0000 (10:55 +0200)]
update'
git pus

8 years agoadded slide on dictionary
pimjager [Thu, 2 Jun 2016 10:55:59 +0000 (12:55 +0200)]
added slide on dictionary

8 years agofixed examples
pimjager [Thu, 2 Jun 2016 10:46:05 +0000 (12:46 +0200)]
fixed examples

8 years agoimproved presentation
pimjager [Thu, 2 Jun 2016 09:27:26 +0000 (11:27 +0200)]
improved presentation

8 years agoding
Mart Lubbers [Thu, 2 Jun 2016 08:00:04 +0000 (10:00 +0200)]
ding

8 years agoupdates:)
Mart Lubbers [Wed, 1 Jun 2016 20:00:26 +0000 (22:00 +0200)]
updates:)

8 years agobetere code
Mart Lubbers [Wed, 1 Jun 2016 17:57:11 +0000 (19:57 +0200)]
betere code

8 years agoAdded listliterals
pimjager [Wed, 1 Jun 2016 11:12:36 +0000 (13:12 +0200)]
Added listliterals

8 years agofuture work slide
pimjager [Tue, 31 May 2016 21:49:47 +0000 (23:49 +0200)]
future work slide

8 years agoWeghalen unresolved labels en update examples
Mart Lubbers [Tue, 31 May 2016 09:17:45 +0000 (11:17 +0200)]
Weghalen unresolved labels en update examples

8 years agoFirst version slides
pimjager [Mon, 30 May 2016 16:08:31 +0000 (18:08 +0200)]
First version slides

8 years agoWorking on slides for p4
pimjager [Mon, 30 May 2016 15:31:15 +0000 (17:31 +0200)]
Working on slides for p4

8 years agonu met en nu zonder
Mart Lubbers [Sun, 29 May 2016 19:11:10 +0000 (21:11 +0200)]
nu met en nu zonder

8 years agoprinten en parsen voor de demo
Mart Lubbers [Sun, 29 May 2016 19:09:17 +0000 (21:09 +0200)]
printen en parsen voor de demo

8 years agohoi
Mart Lubbers [Sun, 29 May 2016 18:52:28 +0000 (20:52 +0200)]
hoi

8 years agocomments over wat te doen toegevoegd
Mart Lubbers [Thu, 26 May 2016 20:46:56 +0000 (22:46 +0200)]
comments over wat te doen toegevoegd

8 years agostukje over incomplete functions
Mart Lubbers [Thu, 26 May 2016 20:44:08 +0000 (22:44 +0200)]
stukje over incomplete functions

8 years agostarted with report
Mart Lubbers [Thu, 26 May 2016 20:17:59 +0000 (22:17 +0200)]
started with report

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 19:44:38 +0000 (21:44 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agostarten met p4 presentatie
Mart Lubbers [Thu, 26 May 2016 19:44:30 +0000 (21:44 +0200)]
starten met p4 presentatie

8 years agoFixed inference with typed functions
pimjager [Thu, 26 May 2016 17:46:17 +0000 (19:46 +0200)]
Fixed inference with typed functions

8 years agopim
Mart Lubbers [Thu, 26 May 2016 16:54:17 +0000 (18:54 +0200)]
pim

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 16:40:18 +0000 (18:40 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agodemo
Mart Lubbers [Thu, 26 May 2016 16:40:12 +0000 (18:40 +0200)]
demo

8 years agolambdas without params, lambdas are now passed as vars instead of funcs
pimjager [Thu, 26 May 2016 16:18:51 +0000 (18:18 +0200)]
lambdas without params, lambdas are now passed as vars instead of funcs

8 years agoFixed printing from lambdas
pimjager [Thu, 26 May 2016 16:07:47 +0000 (18:07 +0200)]
Fixed printing from lambdas

8 years agoWorking lambdas uitroepteken
pimjager [Thu, 26 May 2016 15:48:31 +0000 (17:48 +0200)]
Working lambdas uitroepteken

8 years agomerge master
pimjager [Thu, 26 May 2016 14:50:44 +0000 (16:50 +0200)]
merge master

8 years agofaculty
Mart Lubbers [Thu, 26 May 2016 14:40:56 +0000 (16:40 +0200)]
faculty

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 14:37:36 +0000 (16:37 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoGEEN MERGE CONFLICT
Mart Lubbers [Thu, 26 May 2016 14:37:34 +0000 (16:37 +0200)]
GEEN MERGE CONFLICT

8 years agoSem now prints Gamma
pimjager [Thu, 26 May 2016 14:33:13 +0000 (16:33 +0200)]
Sem now prints Gamma

8 years agowowwww
Mart Lubbers [Thu, 26 May 2016 14:28:39 +0000 (16:28 +0200)]
wowwww

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 26 May 2016 14:24:48 +0000 (16:24 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agohoi'
Mart Lubbers [Thu, 26 May 2016 14:19:18 +0000 (16:19 +0200)]
hoi'
git psu

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 26 May 2016 14:16:23 +0000 (16:16 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agofold tempTest
pimjager [Thu, 26 May 2016 14:16:03 +0000 (16:16 +0200)]
fold tempTest

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 13:25:42 +0000 (15:25 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years ago.
Mart Lubbers [Thu, 26 May 2016 13:25:33 +0000 (15:25 +0200)]
.

8 years agoLambda WIP
pimjager [Thu, 26 May 2016 13:22:02 +0000 (15:22 +0200)]
Lambda WIP

8 years agoparsing lambdas
pimjager [Thu, 26 May 2016 13:00:59 +0000 (15:00 +0200)]
parsing lambdas

8 years agoFixed Markus example
pimjager [Thu, 26 May 2016 12:14:20 +0000 (14:14 +0200)]
Fixed Markus example

8 years agoImproved Let syntax and improvements to type system
pimjager [Thu, 26 May 2016 11:13:04 +0000 (13:13 +0200)]
Improved Let syntax and improvements to type system

8 years agoBasic Let functionality
pimjager [Thu, 26 May 2016 10:31:12 +0000 (12:31 +0200)]
Basic Let functionality

8 years agotestfiles
pimjager [Thu, 26 May 2016 09:51:27 +0000 (11:51 +0200)]
testfiles

8 years agotest
Mart Lubbers [Wed, 25 May 2016 14:47:50 +0000 (16:47 +0200)]
test

8 years agojo
Mart Lubbers [Wed, 25 May 2016 14:27:16 +0000 (16:27 +0200)]
jo

8 years agoding
Mart Lubbers [Wed, 25 May 2016 11:16:04 +0000 (13:16 +0200)]
ding
git push o

8 years agoHIGHER ORDER FUNCTIONSgit add .git add .!
Mart Lubbers [Wed, 25 May 2016 10:42:33 +0000 (12:42 +0200)]
HIGHER ORDER FUNCTIONSgit add .git add .!

8 years agoadd arity to ADDR
Mart Lubbers [Tue, 24 May 2016 13:14:47 +0000 (15:14 +0200)]
add arity to ADDR