Mercurial > hg > Members > atton > delta_monad
log agda/nat.agda @ 77:4b16b485a4b2
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 |