Mercurial > hg > Papers > 2018 > suruga-thesis
log suruga-thesis/final_main/src/AgdaNPushNPopProof.agda @ 3:8faea9c319ed
age | author | description |
---|---|---|
Thu, 15 Feb 2018 14:46:18 +0900 | suruga | add thesis |
age | author | description |
---|---|---|
Thu, 15 Feb 2018 14:46:18 +0900 | suruga | add thesis |