Mercurial > hg > Members > kono > Proof > category
comparison level-ex.agda @ 334:357d3114c9b5
add : Int X -> Int X -> Int X
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 22 Mar 2014 18:34:13 +0700 |
parents | d6a6dd305da2 |
children |
comparison
equal
deleted
inserted
replaced
333:26f44a4fa494 | 334:357d3114c9b5 |
---|