log

age author description
Tue, 08 Nov 2016 09:09:28 +0000 atton Writing unify ... default tip
Fri, 04 Nov 2016 14:21:20 +0900 Yasutaka Higa Add fullsimple
Fri, 04 Nov 2016 05:11:16 +0000 atton Add sample term for simplebool
Thu, 03 Nov 2016 10:02:24 +0000 atton Wrote simplebool
Thu, 03 Nov 2016 06:39:27 +0000 atton Add simplebool
Tue, 01 Nov 2016 08:36:26 +0000 atton Update Dockerfile
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