Mercurial > hg > Members > kono > Proof > category
view .hgtags @ 727:ea84cc6c1797
monoidal functor and applicative done
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 26 Nov 2017 16:19:54 +0900 |
parents | f2e617dc2c21 |
children | 3275be7cf62d |
line wrap: on
line source
14ad6ec8a6626ebc641eb5b019dc4c558a326f60 current 14ad6ec8a6626ebc641eb5b019dc4c558a326f60 current 984518c56e9676a632015fdd4250fa0e1e0fb224 current 984518c56e9676a632015fdd4250fa0e1e0fb224 current a41b2b9b04075535446201b9f099c4656ac45735 current