Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Tue, 01 Aug 2017 17:50:23 +0900 | mir3636 | fix generate_stub |
Mon, 31 Jul 2017 22:40:08 +0900 | Tatsuki IHA | Can work queue_test converted by generate_stub |
Sat, 29 Jul 2017 19:35:16 +0900 | masataka | handle continuation in stub |
Sat, 29 Jul 2017 19:08:25 +0900 | masataka | handle local continuation |