Letrec and letfun #556

Merged

zxq9 merged 3 commits from letrec-and-letfun into master

2019-05-10 20:27:58 +09:00

Author	SHA1	Message	Date
Ulf Norell	f2951d5bd7	Remove let rec from Sophia	2019-05-10 12:36:08 +02:00
Ulf Norell	a542612c9f	Minor code simplification	2019-05-10 12:29:02 +02:00
Ulf Norell	1ae5974762	Type check and compile letfuns	2019-05-10 12:28:45 +02:00