log Paper/escape_agda.rb @ 8:35d15c091cfd

age author description
Mon, 23 Apr 2018 21:44:32 +0900 ryokka fix Makefile export .agda.replaced,and main document