8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, ... Nat unfoldn f b = case f b of Nothing → Zero Just b → Succ (unfoldn f b) ...
確定! 回上一頁