log untyped/Untyped.hs @ 9:4bfeb679ef15

age author description
Tue, 01 Nov 2016 04:53:18 +0000 atton Add eval1 in Untyped
Sun, 30 Oct 2016 13:17:46 +0000 atton Write Untyped to termShift