Mercurial > hg > Gears > GearsAgda
diff doc/Context.graffle @ 180:d8947747ff3b
Fix syntax
author | atton |
---|---|
date | Tue, 13 Dec 2016 02:08:40 +0000 |
parents | dad4a54b3f12 |
children |
author | atton |
---|---|
date | Tue, 13 Dec 2016 02:08:40 +0000 |
parents | dad4a54b3f12 |
children |