Mercurial > hg > Papers > 2018 > ryokka-sigos
log Paper/src/AgdaStackImpl.agda.replaced @ 3:576637483425
age | author | description |
---|---|---|
Thu, 19 Apr 2018 20:28:12 +0900 | ryokka | fix section, source code,etc |
Fri, 13 Apr 2018 19:47:50 +0900 | ryokka | fix Paper |