Mercurial > hg > Members > kono > Proof > category
comparison kleisli.agda @ 220:5d96be63053f
eefg
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 04 Sep 2013 18:45:17 +0900 |
parents | 3249aaddc405 |
children | 24e83b8b81be |
comparison
equal
deleted
inserted
replaced
219:2ae029454fb6 | 220:5d96be63053f |
---|