Mercurial > hg > Members > Moririn
comparison stack.agda @ 548:c304869ac439
compareN x x = EQ
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 14 Jan 2018 17:57:38 +0900 |
parents | 4f692df9b3db |
children | 988c12d7f887 |
comparison
equal
deleted
inserted
replaced
547:d6a2b812b056 | 548:c304869ac439 |
---|