Gears/GearsAgda: revision graph

fix data gears type enum
Thu, 10 Nov 2016 12:07:53 +0900, by Shinji KONO
add treeRotate data
Thu, 10 Nov 2016 10:35:48 +0900, by Shinji KONO
fix rotate
Thu, 10 Nov 2016 09:27:01 +0900, by Shinji KONO
add stack clear interface
Thu, 10 Nov 2016 07:51:15 +0900, by Shinji KONO
name fixes
Thu, 10 Nov 2016 07:33:10 +0900, by Shinji KONO
recude stack get using traverse field
Wed, 09 Nov 2016 22:33:16 +0900, by Shinji KONO
Added tag stack-interface for changeset 4f6a660c14a1
Wed, 09 Nov 2016 15:43:38 +0900, by Shinji KONO
stack interface worked stack-interface
Wed, 09 Nov 2016 15:43:22 +0900, by Shinji KONO

Mercurial > hg > Gears > GearsAgda