log

age author description
Sat, 19 May 2018 19:14:19 +0900 ryokka remove binaryTree slides
Mon, 23 Apr 2018 21:44:32 +0900 ryokka fix Makefile export .agda.replaced,and main document
Mon, 23 Apr 2018 19:06:07 +0900 ryokka fix
Mon, 23 Apr 2018 18:11:46 +0900 ryokka fix
Sun, 22 Apr 2018 20:53:49 +0900 ryokka modify section3
Sun, 22 Apr 2018 18:42:34 +0900 ryokka fix document
Thu, 19 Apr 2018 20:28:12 +0900 ryokka fix section, source code,etc
Fri, 13 Apr 2018 19:48:44 +0900 ryokka add sigos.pdf
Fri, 13 Apr 2018 19:47:50 +0900 ryokka fix Paper
Fri, 13 Apr 2018 18:07:04 +0900 ryokka first