2 Commits

Author	SHA1	Message	Date
Ulf Norell	6a59e455ce	Update tests for entrypoints	2019-06-28 09:42:28 +02:00
Ulf Norell	23cc8e1132	Letrec and letfun (#65) ... * Type check and compile letfuns * Minor code simplification * Remove let rec from Sophia	2019-05-10 13:27:57 +02:00