projects / scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64e7552) | patch
Resolve types in lambda arguments, recursively substitute
authorLuke Lau <luke_lau@icloud.com>
Sat, 20 Jul 2019 16:48:01 +0000 (17:48 +0100)
committerLuke Lau <luke_lau@icloud.com>
Sat, 20 Jul 2019 16:48:01 +0000 (17:48 +0100)
commitb936564e4a05bd4a23ec202a1c4919097ace7ca8
treea5b18bee7a86572d1d56e52ff92f37a2ccab2fa4tree | snapshot
parent64e7552f99ab98b7db77797cecfc3f34331296dfcommit | diff
Resolve types in lambda arguments, recursively substitute

Also add test
tests.scm [new file with mode: 0644] blob
typecheck.scm diff | blob | history
Statically typed functional language, to be named