2019年5月13日
[Functional Programming] Add, Mult, Pow, isZero
摘要： succ :: Doing N + 1 times fn. add :: Doing N times succ, based on K mult :: is B pow :: or Thrush, is flip isZero :: return just T otherwise K(F) , K 阅读全文
posted @ 2019-05-13 04:57 Zhentiw 阅读(183) 评论(0) 推荐(0)