tuxedocat/CoPL

My attempts for https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/index.cgi