Mercurial > hg > Members > atton > delta_monad
log agda/similar.agda @ 26:5ba82f107a95
age | author | description |
---|---|---|
Tue, 07 Oct 2014 14:43:33 +0900 | Yasutaka Higa | Define Similar in Agda |
age | author | description |
---|---|---|
Tue, 07 Oct 2014 14:43:33 +0900 | Yasutaka Higa | Define Similar in Agda |