Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Sat, 21 Jan 2017 20:04:32 +0900 | mir3636 | fix generate_stub |
Sat, 21 Jan 2017 19:42:39 +0900 | mir3636 | generate stub |
Fri, 20 Jan 2017 19:12:29 +0900 | ikkun | fix worker |
Tue, 17 Jan 2017 18:11:39 +0900 | mir3636 | get arg |
Sat, 14 Jan 2017 19:52:02 +0900 | Tatsuki IHA | Add dependency.graffle |
Fri, 13 Jan 2017 18:16:02 +0900 | one | Add Todo |
Wed, 11 Jan 2017 17:19:53 +0900 | one | Add input data gear example |