Haskell プログラマのレベル10: 9

レベル９
λ算法とチューリング機械との同等性が示せる．
Monadic I/O に我慢できなくなり，Haskell のオレ様仕様を実装する

POPLで発表する．

だんだん想像がとどかなくなってきた．