種別[hbm] セクションJRF の公開ブックマーク 日時2011年01月20日 20:19:50 元URLhttp://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20060429#p02 タグ[型理論] [論理学] [haskell][quiz] (forall x. ((x->r)->r)->x) -> Either a (a->r) - ヒビルテ (2006-04-29) (はてなでは msakai氏)