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