Catyのコマンド宣言は次のような形をしています*1。 command foo :: X -> Y throws [E1, ..., Ek] reads [a1, ..., ap] updates [b1, ..., bq] uses [c1, ..., cr] refers example:impl;X, Y, E1, ..., Ek は型ですが、a1, ..., ap, b1, ..., bq, c1, ..., c…

Catyチュートリアルです。読んでみてください。 テンプレートを使ってみよう Catyってば簡単でしょ。

次男：「おとうさん、耳垢がたまっているねー」父親：「そうお」次男：「耳かきしてあげるよ」父親：「おー、ありがとう。やってくれー」次男：「… …(黙々と)」父親：「イテッ、イテーよ」次男：「… …(黙々と)」父親：「おーい、ストーップ」次男：「… …」父…