haskell-church-encodings icon indicating copy to clipboard operation
haskell-church-encodings copied to clipboard

Published 20 hours ago • verified publisher icon Risto-Stevcev

Add a version of Church numerals with impredicative types

Open josephcsible opened this issue 5 years ago • 0 comments

josephcsible avatar Dec 16 '18 22:12 josephcsible