Mercurial > hg > Gears > GearsAgda
diff doc/GearBoxExample.graffle @ 141:4f6a660c14a1 stack-interface
stack interface worked
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 09 Nov 2016 15:43:22 +0900 |
parents | 7787f54b59ba |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 09 Nov 2016 15:43:22 +0900 |
parents | 7787f54b59ba |
children |