Mercurial > hg > Members > kono > Proof > category
comparison system-f.agda @ 722:69f01b82dfc9
uniquness of functor fmap
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 25 Nov 2017 18:49:32 +0900 |
parents | c483374f542b |
children | 6b4bd02efd80 |
comparison
equal
deleted
inserted
replaced
721:a8b595fb4905 | 722:69f01b82dfc9 |
---|