Mercurial > hg > Members > atton > delta_monad
log agda/nat.agda @ 87:6789c65a75bc
age | author | description |
---|---|---|
Mon, 01 Dec 2014 11:58:35 +0900 | Yasutaka Higa | Split nat definition |
age | author | description |
---|---|---|
Mon, 01 Dec 2014 11:58:35 +0900 | Yasutaka Higa | Split nat definition |