Mercurial > hg > Gears > GearsAgda
comparison doc/GearsProgramming.mm @ 519:0a723e418b2a
add some more directives in agda
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 (2018-01-04) |
parents | 53df6602530f |
children |
comparison
equal
deleted
inserted
replaced
518:c9f90f573efe | 519:0a723e418b2a |
---|