Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Tue, 15 Nov 2016 00:52:12 +0900 | Tatsuki IHA | Fix error |
Tue, 15 Nov 2016 00:51:11 +0900 | Tatsuki IHA | Add typedef to define Code Gear |
Tue, 15 Nov 2016 17:46:29 +0900 | mir3636 | create .cbc |