Mercurial > hg > Papers > 2018 > nozomi-master
log paper/src/AgdaProduct.agda @ 85:9d154c48a1f6
age | author | description |
---|---|---|
Thu, 09 Feb 2017 15:36:52 +0900 | atton | Update curry-howard isomorphism |
age | author | description |
---|---|---|
Thu, 09 Feb 2017 15:36:52 +0900 | atton | Update curry-howard isomorphism |