log

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
Mon, 31 Oct 2016 10:43:23 +0900 Yasutaka Higa Add "untyped" from original tapl source
Wed, 26 Oct 2016 12:13:13 +0000 atton Fix eval1
Wed, 26 Oct 2016 08:39:14 +0000 atton Fix evalWithWriter
Wed, 26 Oct 2016 08:32:05 +0000 atton Fix eval1 to 1-step style
Wed, 26 Oct 2016 08:19:46 +0000 atton First implementation of Arith
Wed, 26 Oct 2016 15:09:56 +0900 Yasutaka Higa Add .hgignore
Wed, 26 Oct 2016 15:09:12 +0900 Yasutaka Higa Update Dockerfile
Wed, 26 Oct 2016 15:05:37 +0900 Yasutaka Higa Add Dockerfile