Mercurial > hg > Papers > 2015 > atton-thesis
comparison appendix.tex @ 42:4cc65012412f
Add proofs of functor-laws on delta
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 13 Feb 2015 17:13:23 +0900 |
| parents | 7efeca634b50 |
| children | 1b688e70f2a8 |
comparison
equal
deleted
inserted
replaced
| 41:8fc2ac1f901f | 42:4cc65012412f |
|---|