Mercurial > hg > Papers > 2015 > atton-thesis
comparison fig/natural_transformation_in_haskell.xbb @ 46:1b688e70f2a8
Move proofs to appendix
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 15 Feb 2015 11:17:59 +0900 |
| parents | 8a70394e45b4 |
| children |
comparison
equal
deleted
inserted
replaced
| 45:12c5e455fe55 | 46:1b688e70f2a8 |
|---|