Mercurial > hg > Papers > 2018 > ryokka-thesis
log final_main/src/AgdaStackImpl.agda.replaced @ 5:eafc166804f3
age | author | description |
---|---|---|
Mon, 19 Feb 2018 18:44:59 +0900 | ryokka | fix Capter4.2,5,1 |
age | author | description |
---|---|---|
Mon, 19 Feb 2018 18:44:59 +0900 | ryokka | fix Capter4.2,5,1 |