Mercurial > hg > Members > kono > Proof > category
comparison universal-mapping.agda @ 502:01a0dda67a8b
on going ..
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 16 Mar 2017 21:43:10 +0900 |
parents | d6a6dd305da2 |
children | a5f2ca67e7c5 |
comparison
equal
deleted
inserted
replaced
501:61daa68a70c4 | 502:01a0dda67a8b |
---|