Refactor unify
authorLuke Lau <luke_lau@icloud.com>
Mon, 29 Jul 2019 12:27:38 +0000 (13:27 +0100)
committerLuke Lau <luke_lau@icloud.com>
Mon, 29 Jul 2019 12:27:38 +0000 (13:27 +0100)
commitd486b87b4fb6311cd627887fe3da67a8f8d4cbb4
treecbdccd7f33824d9e170f399592c900d9e115a088
parent61a99f4a9f1d169849ffc2483634a391d3b16a90
Refactor unify
typecheck.scm