Mercurial > hg > Gears > GearsAgda
diff doc/GearBoxExample.graffle @ 233:06133afb3b5b
create worker start_code
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 20:02:21 +0900 |
parents | 7787f54b59ba |
children |
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 20:02:21 +0900 |
parents | 7787f54b59ba |
children |