Layered Monads
id:sumiiくんがトラバくれたんだけど、そこから張ってあったリンク。→http://www.diku.dk/~andrzej/papers/RLM-abstract.html
…自分、いまpsが見られない環境なので(ぉ、とりあえずメモ。
id:sumiiくんがトラバくれたんだけど、そこから張ってあったリンク。→http://www.diku.dk/~andrzej/papers/RLM-abstract.html
…自分、いまpsが見られない環境なので(ぉ、とりあえずメモ。