Mercurial > hg > Members > atton > agda-proofs
comparison cbc/product.agda @ 65:c87e85ffde9a
Trying define n-push/n-pop equiv...
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sat, 14 Jan 2017 05:59:49 +0000 |
| parents | dc6a09d4f900 |
| children |
comparison
equal
deleted
inserted
replaced
| 64:44d448a978d3 | 65:c87e85ffde9a |
|---|