Mercurial > hg > Members > kono > Proof > category
comparison Comma.agda @ 765:171f5386e87e
Applicative→HaskellMonoidal begin
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 12 Dec 2017 00:20:07 +0900 |
parents | bed3be9a4168 |
children |
comparison
equal
deleted
inserted
replaced
764:01c618d94278 | 765:171f5386e87e |
---|