Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Thu, 02 Feb 2017 20:27:56 +0900 | mir3636 | fix generate_stub |
Thu, 02 Feb 2017 18:29:50 +0900 | mir3636 | generate extern |
Wed, 01 Feb 2017 21:29:21 +0900 | mir3636 | add SynchronizedQueue.cbc |