projects / scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4ac36d) | patch
WIP on typechecker refactor
authorLuke Lau <luke_lau@icloud.com>
Thu, 1 Aug 2019 15:19:56 +0000 (16:19 +0100)
committerLuke Lau <luke_lau@icloud.com>
Thu, 1 Aug 2019 15:19:56 +0000 (16:19 +0100)
commit9d93b066cfd6505849dff12146159bedeadf96b9
tree15bdab3e6b7f36305d8aaeb03283337c73e882cftree | snapshot
parentf4ac36dfdebc05a60aa88c5d345d8baac2393147commit | diff
WIP on typechecker refactor

Need to figure out the best way to union merge constraints, where they
have the same key but one has a more concrete term
tests.scm diff | blob | history
typecheck.scm diff | blob | history
Statically typed functional language, to be named