projects / scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b8c603) | patch
Substitute constraints after recursive call
authorLuke Lau <luke_lau@icloud.com>
Mon, 29 Jul 2019 12:55:23 +0000 (13:55 +0100)
committerLuke Lau <luke_lau@icloud.com>
Mon, 29 Jul 2019 12:55:23 +0000 (13:55 +0100)
commite561cf1ba9b2986a22cb08250247e402ac2a5871
tree64cfc767e86434420570013f7a924bf1b003408atree | snapshot
parent8b8c603a6106151188bdeab95501cacaf72912d4commit | diff
Substitute constraints after recursive call

Now it typechecks! Also fix type-equal? being too lenient
typecheck.scm diff | blob | history
Statically typed functional language, to be named