Mercurial > hg > Gears > GearsAgda
diff doc/dependency.graffle @ 430:35b37fe8d3a7
Add size member in struct Meta
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 09 Oct 2017 17:46:42 +0900 (2017-10-09) |
parents | f1db6fe3b200 |
children |