Alloyでλ式を作ってみた。 フォロー記事あり あまり役に立たない気はするけど、関係の逆(~)を取ったり(反射)推移閉包(*,^)を使う良い練習になった。（バグがみつかり次第、色々修正している。以下のモデル図はソースを修正しながら作っているので、エンバグ…