repositories / cc1516.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added generation for op2
2016-05-08 pimjagerAdded generation for op2
 commit | commitdiff | tree
2016-05-08 pimjagerAdded stream of fresh labels
 commit | commitdiff | tree
2016-05-07 pimjagerStart of Gen monad
 commit | commitdiff | tree
2016-05-06 pimjagerAdded some comments on codegen
 commit | commitdiff | tree
2016-05-06 pimjagerlala codegen
 commit | commitdiff | tree
2016-05-06 pimjagerAdded gen to makefile
 commit | commitdiff | tree
2016-05-06 pimjagerstart of code generation
 commit | commitdiff | tree
2016-05-06 pimjagerAssignments are now typechecked
 commit | commitdiff | tree
2016-05-06 pimjageridentity example now almost correctly typed
 commit | commitdiff | tree
2016-05-06 pimjagercleanup
 commit | commitdiff | tree
2016-05-05 pimjagerSmall improvements, some errors here and there
 commit | commitdiff | tree
2016-05-05 pimjagerType inference for functions works YAAAY
 commit | commitdiff | tree
2016-05-05 pimjagertype instance for FunDecl
 commit | commitdiff | tree
2016-05-02 pimjagerinfer voor statements
 commit | commitdiff | tree
2016-04-29 pimjagerWorking on inference for statements
 commit | commitdiff | tree
2016-04-29 pimjagerinfer for FunExpr
 commit | commitdiff | tree
2016-04-28 pimjagerWorking on algorithm M
 commit | commitdiff | tree
2016-04-28 pimjagerStarted working on algorithm M
 commit | commitdiff | tree
2016-04-28 pimjagerAdded Typing Monad and instantiate
 commit | commitdiff | tree
2016-04-28 pimjagerhi
 commit | commitdiff | tree
2016-04-28 pimjagerFinished algorithm U
 commit | commitdiff | tree
2016-04-28 pimjagerStart of algorithm U
 commit | commitdiff | tree
2016-04-25 pimjagerinfer voor expressions afgemaakt
 commit | commitdiff | tree
2016-04-22 pimjagerAdded op1Type function
 commit | commitdiff | tree
2016-04-22 pimjagerAdded op2type function
 commit | commitdiff | tree
2016-04-22 pimjagerMerge branch 'generation'
 commit | commitdiff | tree
2016-04-22 pimjagerontwerpbesluiten aagepast
 commit | commitdiff | tree
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-14 pimjagerPresentationf inished
 commit | commitdiff | tree
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-14 pimjagerPresentation
 commit | commitdiff | tree
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-14 pimjagerworking on presentation
 commit | commitdiff | tree
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-14 pimjagerPresentation
 commit | commitdiff | tree
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-13 pimjagerOntwerpbesluit toegevoegd dat functies pas na decla...
commit | commitdiff | tree
2016-04-13 pimjagerAdded examples from markus
 commit | commitdiff | tree
2016-04-13 pimjagerChecking assignments
 commit | commitdiff | tree
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-13 pimjagerFunction parameters
 commit | commitdiff | tree
2016-04-13 pimjagerLalalala statements
 commit | commitdiff | tree
2016-04-13 pimjagersmall cleanup
 commit | commitdiff | tree
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-13 pimjagerWorking on statement checking
 commit | commitdiff | tree
2016-04-13 pimjagerAdded function type inference
 commit | commitdiff | tree
2016-04-13 pimjagerWorking on statements
 commit | commitdiff | tree
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-13 pimjagerCheckIf statements
 commit | commitdiff | tree
2016-04-13 pimjagerAll expression can now be typed.
 commit | commitdiff | tree
2016-04-13 pimjagerworking on tuping function application
 commit | commitdiff | tree
2016-04-13 pimjagerUndeclared error en untested function typing
 commit | commitdiff | tree
2016-04-13 pimjagerWOOPWOOP expressies typen, behalve func
 commit | commitdiff | tree
2016-04-13 pimjagerWorking on lists
 commit | commitdiff | tree
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-13 pimjagerlala working on lists
 commit | commitdiff | tree
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-13 pimjagerbla working on lists
 commit | commitdiff | tree
2016-04-13 pimjagerpolymorf emptylist
 commit | commitdiff | tree
2016-04-12 pimjagerAdded some expression typechecking
 commit | commitdiff | tree
2016-04-12 pimjagerMerge branch 'EnvMonad'
 commit | commitdiff | tree
2016-04-12 pimjagerMonadTransformers work
 commit | commitdiff | tree
2016-04-12 pimjagerWorking Monad transformer except for Clean not finding...
commit | commitdiff | tree
2016-04-12 pimjagerMeer falende monads
 commit | commitdiff | tree
2016-04-12 pimjagerBroken monads
 commit | commitdiff | tree
2016-04-12 pimjagerop2
 commit | commitdiff | tree
2016-04-07 pimjagerSem
 commit | commitdiff | tree
2016-04-07 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-07 pimjagerOntwerpbesluitendocumentje toegevoegd
 commit | commitdiff | tree
2016-04-07 pimjagergrammatica aangepast aan leipe nieuwe functietypes
 commit | commitdiff | tree
2016-04-07 pimjagerParser aangepast naar leipe arrowtypes zonder arity
 commit | commitdiff | tree
2016-03-17 pimjagerAdded some stuff to slides
 commit | commitdiff | tree
2016-03-16 pimjagerWierd -> Weird
 commit | commitdiff | tree
2016-03-14 pimjagerwerkverdeling presentatie toegevoegd
 commit | commitdiff | tree
2016-03-11 pimjagerAdded position info to the AST for function declarations...
commit | commitdiff | tree
2016-03-11 pimjagerRewrote some LiftM's to <$> and <*> for clarity
 commit | commitdiff | tree
2016-03-03 pimjagerfixed mac envs
 commit | commitdiff | tree
2016-03-01 pimjager<?> now accepts complete Errors
 commit | commitdiff | tree
2016-03-01 pimjagerComments kunnen nu eindigen met een EOF ipv newline
 commit | commitdiff | tree
2016-03-01 pimjagerComments nu mogelijk
 commit | commitdiff | tree
2016-03-01 pimjagerAdded until operator
 commit | commitdiff | tree
2016-02-29 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-02-29 pimjagerAdded eof parser
 commit | commitdiff | tree
2016-02-29 pimjagerpeek en check Parsers toegevoegd
 commit | commitdiff | tree
2016-02-29 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-02-29 pimjagerErrors nog steeds niet goede token :(
 commit | commitdiff | tree
2016-02-29 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-02-29 pimjagerfixed example
 commit | commitdiff | tree
2016-02-29 pimjagermerged master
 commit | commitdiff | tree
2016-02-29 pimjagerErrors: changed expected to unexpected, but this reports...
commit | commitdiff | tree
2016-02-29 pimjagerMerged branch master
 commit | commitdiff | tree
2016-02-29 pimjagerImproved error reporting with positions
 commit | commitdiff | tree
2016-02-29 pimjagerImproved error type with position annotation
 commit | commitdiff | tree
2016-02-29 pimjagerMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-02-29 pimjageradded errors to Yard
 commit | commitdiff | tree
2016-02-26 pimjagernu met gratis de library waar de borige commit over...
commit | commitdiff | tree
2016-02-26 pimjagerYard, still struggling with Clean build system
 commit | commitdiff | tree
2016-02-11 pimjagerImplemented lexer function
 commit | commitdiff | tree
2016-02-11 pimjagerTokenizer functions implemented
 commit | commitdiff | tree
2016-02-11 pimjagerported Yard to clean
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.