文件名称：haskell-church-encodings：用Haskell编写的教堂编码
文件大小：13KB
文件格式：ZIP
更新时间：2024-02-25 10:13:34
encoding haskell church numerals encodings
haskell-church-encodings：用Haskell编写的教堂编码
【文件预览】：
haskell-church-encodings-master
----RankNTypes()
--------Church.hs(9KB)
--------Makefile(150B)
--------TestChurch.hs(22KB)
----LICENSE(1KB)
----README.md(3KB)
----Rank1Types()
--------Church.hs(4KB)
--------Makefile(150B)
--------TestChurch.hs(10KB)
----.gitignore(38B)