Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Mon, 28 Nov 2016 18:06:50 +0900 | mir3636 | create interface of Task, TaskManager, Worker |
Mon, 28 Nov 2016 17:49:08 +0900 | mir3636 | add Todo |
Mon, 28 Nov 2016 17:07:19 +0900 | mir3636 | add enum Code next |