Mercurial > hg > Members > atton > delta_monad
log agda/similar.agda @ 27:742e62fc63e4
age | author | description |
---|---|---|
Tue, 07 Oct 2014 14:53:56 +0900 | Yasutaka Higa | Define Monad-law 1-4 |
Tue, 07 Oct 2014 14:43:33 +0900 | Yasutaka Higa | Define Similar in Agda |