Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Mon, 26 Sep 2016 19:54:24 +0900 | ikkun | remove code stack, add continuation of rotateL/totateR |
age | author | description |
---|---|---|
Mon, 26 Sep 2016 19:54:24 +0900 | ikkun | remove code stack, add continuation of rotateL/totateR |