Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Sun, 05 Feb 2017 20:22:55 +0900 | mir3636 | fix generate_context |
Sun, 05 Feb 2017 19:08:22 +0900 | mir3636 | generate C_start_code and C_exit_code |
age | author | description |
---|---|---|
Sun, 05 Feb 2017 20:22:55 +0900 | mir3636 | fix generate_context |
Sun, 05 Feb 2017 19:08:22 +0900 | mir3636 | generate C_start_code and C_exit_code |