repositories / cc1516.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cc1516.git
2016-04-22 pimjagerAdded op2type function commit | commitdiff | tree | snapshot
2016-04-22 pimjagerMerge branch 'generation' commit | commitdiff | tree | snapshot
2016-04-22 Mart LubbersHIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven commit | commitdiff | tree | snapshot
2016-04-22 pimjagerontwerpbesluiten aagepast commit | commitdiff | tree | snapshot
2016-04-22 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-04-20 Mart Lubberssmall update, inference commit | commitdiff | tree | snapshot
2016-04-15 Mart Lubbersstarted with new typechecker commit | commitdiff | tree | snapshot
2016-04-15 Mart LubbersRWS done commit | commitdiff | tree | snapshot
2016-04-15 Mart Lubbersrwst done, rws to go commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubberst push origni msatMerge branch 'master' of github.com... commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbersupdate gitignore commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 pimjagerPresentationf inished commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbersrwst commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 pimjagerPresentation commit | commitdiff | tree | snapshot
2016-04-14 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 pimjagerworking on presentation commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershoi' commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-04-14 pimjagerPresentation commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershi commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbers added argument mismatch commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubberssmall update so that retyping works commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbers- commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersadded type to sem.icl =/= commit | commitdiff | tree | snapshot
2016-04-13 Mart LubbersMerge branch 'mastert push ' of github.com:dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbers. commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 pimjagerOntwerpbesluit toegevoegd dat functies pas na decla... commit | commitdiff | tree | snapshot
2016-04-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbers. commit | commitdiff | tree | snapshot
2016-04-13 pimjagerAdded examples from markus commit | commitdiff | tree | snapshot
2016-04-13 pimjagerChecking assignments commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbers update' commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 pimjagerFunction parameters commit | commitdiff | tree | snapshot
2016-04-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersa commit | commitdiff | tree | snapshot
2016-04-13 pimjagerLalalala statements commit | commitdiff | tree | snapshot
2016-04-13 pimjagersmall cleanup commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 pimjagerWorking on statement checking commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubberst push origin masterMerge branch 'master' of github... commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersoops, eerste presentatie weggegooid commit | commitdiff | tree | snapshot
2016-04-13 pimjagerAdded function type inference commit | commitdiff | tree | snapshot
2016-04-13 pimjagerWorking on statements commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 pimjagerCheckIf statements commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersadd printing for ast commit | commitdiff | tree | snapshot
2016-04-13 pimjagerAll expression can now be typed. commit | commitdiff | tree | snapshot
2016-04-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersyay, binary ops commit | commitdiff | tree | snapshot
2016-04-13 pimjagerworking on tuping function application commit | commitdiff | tree | snapshot
2016-04-13 pimjagerUndeclared error en untested function typing commit | commitdiff | tree | snapshot
2016-04-13 pimjagerWOOPWOOP expressies typen, behalve func commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersreplace ding in map' commit | commitdiff | tree | snapshot
2016-04-13 pimjagerWorking on lists commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersupdate help' commit | commitdiff | tree | snapshot
2016-04-13 pimjagerlala working on lists commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersprint gamma jowww commit | commitdiff | tree | snapshot
2016-04-13 pimjagerbla working on lists commit | commitdiff | tree | snapshot
2016-04-13 pimjagerpolymorf emptylist commit | commitdiff | tree | snapshot
2016-04-12 pimjagerAdded some expression typechecking commit | commitdiff | tree | snapshot
2016-04-12 pimjagerMerge branch 'EnvMonad' commit | commitdiff | tree | snapshot
2016-04-12 pimjagerMonadTransformers work commit | commitdiff | tree | snapshot
2016-04-12 pimjagerWorking Monad transformer except for Clean not finding... commit | commitdiff | tree | snapshot
2016-04-12 Mart Lubbersbetere gamma commit | commitdiff | tree | snapshot
2016-04-12 Mart Lubbersrevent commit | commitdiff | tree | snapshot
2016-04-12 pimjagerMeer falende monads commit | commitdiff | tree | snapshot
2016-04-12 pimjagerBroken monads commit | commitdiff | tree | snapshot
2016-04-12 pimjagerop2 commit | commitdiff | tree | snapshot
2016-04-10 Mart Lubberssmall update commit | commitdiff | tree | snapshot
2016-04-10 Mart Lubbersadd type of vardecl expr to gamma commit | commitdiff | tree | snapshot
2016-04-08 Mart Lubbersadded some type checking stuff. vardecl now works for... commit | commitdiff | tree | snapshot
2016-04-07 Mart Lubberseither binds ftw commit | commitdiff | tree | snapshot
2016-04-07 pimjagerSem commit | commitdiff | tree | snapshot
2016-04-07 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-07 Mart LubbersBAM commit | commitdiff | tree | snapshot
2016-04-07 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-07 pimjagerOntwerpbesluitendocumentje toegevoegd commit | commitdiff | tree | snapshot
2016-04-07 pimjagergrammatica aangepast aan leipe nieuwe functietypes commit | commitdiff | tree | snapshot
2016-04-07 Mart Lubbersmergo commit | commitdiff | tree | snapshot
2016-04-07 Mart Lubbersstart with sem commit | commitdiff | tree | snapshot
2016-04-07 pimjagerParser aangepast naar leipe arrowtypes zonder arity commit | commitdiff | tree | snapshot
2016-04-07 Mart Lubberssem update' commit | commitdiff | tree | snapshot
2016-03-23 Mart Lubberssem commit | commitdiff | tree | snapshot
2016-03-23 Mart Lubbersstub for typechecking commit | commitdiff | tree | snapshot
2016-03-17 Mart Lubbersup commit | commitdiff | tree | snapshot
2016-03-17 pimjagerAdded some stuff to slides commit | commitdiff | tree | snapshot
2016-03-17 Mart Lubberssome small fixes commit | commitdiff | tree | snapshot
2016-03-16 Mart Lubberscleaned up clean.sty commit | commitdiff | tree | snapshot
2016-03-16 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-03-16 Mart Lubbersclean.sty commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.