はじめてのCubical http://d.hatena.ne.jp/m-a-o/20131227#p1 の続き。何分できたばっかの処理系なので、上で書いたコードは微妙に動かなくなってしまっているっぽいけど、まぁ少し修正するだけ 実用的には、quotient typeが作れるのは重要な気もするので、…