:cyclone: Church encodings written in Haskell
语言:Haskell · GitHub 星标:25 · Fork:3
话题:church · church-encodings · encoding · encodings · haskell · numerals
在 GitHub 上查看原仓库