repositories
/
cc1516.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
update'
2016-06-02
pimjager
added slide on dictionary
commit
|
commitdiff
|
tree
2016-06-02
pimjager
fixed examples
commit
|
commitdiff
|
tree
2016-06-02
pimjager
improved presentation
commit
|
commitdiff
|
tree
2016-06-01
pimjager
Added listliterals
commit
|
commitdiff
|
tree
2016-05-31
pimjager
future work slide
commit
|
commitdiff
|
tree
2016-05-30
pimjager
First version slides
commit
|
commitdiff
|
tree
2016-05-30
pimjager
Working on slides for p4
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Fixed inference with typed functions
commit
|
commitdiff
|
tree
2016-05-26
pimjager
lambdas without params, lambdas are now passed as vars...
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Fixed printing from lambdas
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Working lambdas uitroepteken
commit
|
commitdiff
|
tree
2016-05-26
pimjager
merge master
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Sem now prints Gamma
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-05-26
pimjager
fold tempTest
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Lambda WIP
commit
|
commitdiff
|
tree
2016-05-26
pimjager
parsing lambdas
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Fixed Markus example
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Improved Let syntax and improvements to type system
commit
|
commitdiff
|
tree
2016-05-26
pimjager
Basic Let functionality
commit
|
commitdiff
|
tree
2016-05-26
pimjager
testfiles
commit
|
commitdiff
|
tree
2016-05-23
pimjager
fixed read
commit
|
commitdiff
|
tree
2016-05-20
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-05-20
pimjager
print specialised
commit
|
commitdiff
|
tree
2016-05-20
pimjager
blabla
commit
|
commitdiff
|
tree
2016-05-20
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-05-20
pimjager
readchar in sem
commit
|
commitdiff
|
tree
2016-05-20
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-05-20
pimjager
Woooo isEmpty
commit
|
commitdiff
|
tree
2016-05-20
pimjager
Stomme puntjes
commit
|
commitdiff
|
tree
2016-05-20
pimjager
mend
commit
|
commitdiff
|
tree
2016-05-20
pimjager
Typechecking of fieldselectors
commit
|
commitdiff
|
tree
2016-05-19
pimjager
Added default functions, isEmpty does not typecheck...
commit
|
commitdiff
|
tree
2016-05-19
pimjager
Fixed annote
commit
|
commitdiff
|
tree
2016-05-19
pimjager
annotations
commit
|
commitdiff
|
tree
2016-05-19
pimjager
Function calls now clean up the arguments
commit
|
commitdiff
|
tree
2016-05-19
pimjager
FunStmt and Stmts added
commit
|
commitdiff
|
tree
2016-05-09
pimjager
Work in progress code gen
commit
|
commitdiff
|
tree
2016-05-09
pimjager
Basic function calling and generation
commit
|
commitdiff
|
tree
2016-05-08
pimjager
codegen work in progress
commit
|
commitdiff
|
tree
2016-05-08
pimjager
codegen work in progress
commit
|
commitdiff
|
tree
2016-05-08
pimjager
CodeGen for statements, no variables yet
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Start with gen for statements
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Added generationf or expressions, how to deal with...
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Added generation for op2
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Added stream of fresh labels
commit
|
commitdiff
|
tree
2016-05-07
pimjager
Start of Gen monad
commit
|
commitdiff
|
tree
2016-05-06
pimjager
Added some comments on codegen
commit
|
commitdiff
|
tree
2016-05-06
pimjager
lala codegen
commit
|
commitdiff
|
tree
2016-05-06
pimjager
Added gen to makefile
commit
|
commitdiff
|
tree
2016-05-06
pimjager
start of code generation
commit
|
commitdiff
|
tree
2016-05-06
pimjager
Assignments are now typechecked
commit
|
commitdiff
|
tree
2016-05-06
pimjager
identity example now almost correctly typed
commit
|
commitdiff
|
tree
2016-05-06
pimjager
cleanup
commit
|
commitdiff
|
tree
2016-05-05
pimjager
Small improvements, some errors here and there
commit
|
commitdiff
|
tree
2016-05-05
pimjager
Type inference for functions works YAAAY
commit
|
commitdiff
|
tree
2016-05-05
pimjager
type instance for FunDecl
commit
|
commitdiff
|
tree
2016-05-02
pimjager
infer voor statements
commit
|
commitdiff
|
tree
2016-04-29
pimjager
Working on inference for statements
commit
|
commitdiff
|
tree
2016-04-29
pimjager
infer for FunExpr
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Working on algorithm M
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Started working on algorithm M
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Added Typing Monad and instantiate
commit
|
commitdiff
|
tree
2016-04-28
pimjager
hi
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Finished algorithm U
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Start of algorithm U
commit
|
commitdiff
|
tree
2016-04-25
pimjager
infer voor expressions afgemaakt
commit
|
commitdiff
|
tree
2016-04-22
pimjager
Added op1Type function
commit
|
commitdiff
|
tree
2016-04-22
pimjager
Added op2type function
commit
|
commitdiff
|
tree
2016-04-22
pimjager
Merge branch 'generation'
commit
|
commitdiff
|
tree
2016-04-22
pimjager
ontwerpbesluiten aagepast
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Presentationf inished
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Presentation
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
working on presentation
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Presentation
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Ontwerpbesluit toegevoegd dat functies pas na decla...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Added examples from markus
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Checking assignments
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Function parameters
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Lalalala statements
commit
|
commitdiff
|
tree
2016-04-13
pimjager
small cleanup
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Working on statement checking
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Added function type inference
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Working on statements
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
CheckIf statements
commit
|
commitdiff
|
tree
2016-04-13
pimjager
All expression can now be typed.
commit
|
commitdiff
|
tree
2016-04-13
pimjager
working on tuping function application
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Undeclared error en untested function typing
commit
|
commitdiff
|
tree
2016-04-13
pimjager
WOOPWOOP expressies typen, behalve func
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Working on lists
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
next