minhs : 関数型言語のインタプリタ

型付き項書換えシステム

項書換えで自然数の和を計算

項書換え系から型推論