Commit 5c5f905d authored by Stefan's avatar Stefan
Browse files

* src/typecheck.ml (check): Start filling the function 

(varbind): New type.
parent 029fd6b8
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment