create Arity.agda
define length function
add new version using Arity.agda
change def of Var
説明書き追加
arity -> Arity
Arityをモジュール化、expr -> Expr(data型定義は原則大文字とする)
セミナー前
2014-11-26 できたところまで。
assignの定義をすすめたが、varの定義を変更しないとうまくいかないと思っている