Catyの型システム／コマンドシステムの機能を総動員すると、Webを使わないハイパーメディア・アプリケーションのハイパースキーマが完全に書ける。つうか先週末に書いてみた。その解説をする。ここ2,3日で定義を変えたりしたところもあるが、オリジナル（つ…

絵を描いたので、今日中に説明を書く。いやー、さらに先延ばしかな。でも、下に別な記事を書いた。