Mercurial > hg > Members > kono > Proof > category
comparison kleisli.agda @ 578:6b9737d041b4
one yelllow
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 28 Apr 2017 18:50:13 +0900 |
parents | 2d32ded94aaf |
children | a5f2ca67e7c5 |
comparison
equal
deleted
inserted
replaced
575:761df92aa225 | 578:6b9737d041b4 |
---|