4 Commits

Author	SHA1	Message	Date
radrow	5ff983b0b3	Updated tests	2019-07-22 13:56:45 +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
Ulf Norell	d8bf0bda45	Remove integer bit operations	2019-01-25 16:09:31 +01:00
Robert Virding	d4d02fd576	First test work commit, don't touch	2018-12-22 01:23:40 +01:00