Mercurial > hg > Members > atton > agda-proofs
log sandbox/FunctorExample.agda @ 6:90abb3f53c03
age | author | description |
---|---|---|
Thu, 15 Jan 2015 17:27:25 +0900 | Yasutaka Higa | Add functor example |
age | author | description |
---|---|---|
Thu, 15 Jan 2015 17:27:25 +0900 | Yasutaka Higa | Add functor example |