projects / scheme.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Formulate destructors properly
[scheme.git] / typecheck.scm
2019-08-04 Luke LauFormulate destructors properly blob | commitdiff | raw
2019-08-04 Luke LauMerge branch 'master' of lukelau.me:/srv/git/scheme blob | commitdiff | raw | diff to current
2019-08-02 Luke LauStart work on ADTs blob | commitdiff | raw | diff to current
2019-08-02 Luke LauTidy up blob | commitdiff | raw | diff to current
2019-08-01 Luke LauAdd clash constraints when merging typechecker-refactor blob | commitdiff | raw | diff to current
2019-08-01 Luke LauWIP on typechecker refactor blob | commitdiff | raw | diff to current
2019-07-29 Luke LauFix graph not considering original binds when recursing blob | commitdiff | raw | diff to current
2019-07-29 Luke LauSubstitute constraints after recursive call blob | commitdiff | raw | diff to current
2019-07-29 Luke LauRefactor unify blob | commitdiff | raw | diff to current
2019-07-28 Luke LauSubstitute only the variables in the scc blob | commitdiff | raw | diff to current
2019-07-28 Luke LauBreak up lets into SCCs before typechecking blob | commitdiff | raw | diff to current
2019-07-23 Luke LauAdd strings and print primitive blob | commitdiff | raw | diff to current
2019-07-23 Luke LauCodegen if statements blob | commitdiff | raw | diff to current
2019-07-22 Luke LauRefactor ast "pattern matching" to a single function blob | commitdiff | raw | diff to current
2019-07-22 Luke LauFix some normalization issues, add codegen tests blob | commitdiff | raw | diff to current
2019-07-21 Luke LauAdd pretty printing for types blob | commitdiff | raw | diff to current
2019-07-21 Luke LauAdd more binary ops blob | commitdiff | raw | diff to current
2019-07-20 Luke LauResolve types in lambda arguments, recursively substitute blob | commitdiff | raw | diff to current
2019-07-20 Luke LauNormalize lambdas to be single arguments only blob | commitdiff | raw | diff to current
2019-07-17 Luke LauAdd let bindings blob | commitdiff | raw | diff to current
2019-07-17 Luke LauAdd consolidation, tie up with typechecker blob | commitdiff | raw | diff to current
2019-07-17 Luke LauStart typechecker blob | commitdiff | raw | diff to current
Statically typed functional language, to be named