Mercurial > hg > Gears > GearsAgdaExample
comparison WhileTest.agda @ 2:250c1d4e683b default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 14 Feb 2021 00:09:23 +0900 |
parents | f9ec9e384bef |
children |
comparison
equal
deleted
inserted
replaced
1:69dc3096fa72 | 2:250c1d4e683b |
---|