All Categories → No Category → church-encodings

Top 1 church-encodings open source projects

haskell-church-encodings

🌀 Church encodings written in Haskell

✭ 23

haskell Makefile encoding church numerals encodings church-encodings

1-1 of 1 church-encodings projects