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

Published 20 hours ago • verified publisher icon Risto-Stevcev
→

Metadata

:cyclone: Church encodings written in Haskell

Results 2 haskell-church-encodings issues
Sort by recently updated
recently updated
newest added

Add a version of Church numerals with impredicative types

josephcsible avatar josephcsible

Add and use liftC and liftC2

These are analogous to liftM/liftM2/liftA/liftA2 in that they lift a function operating on the raw Church lambda functions into one operating on the rolled type, without having to clutter the...

josephcsible avatar josephcsible

← Metadata

25
Stars
3
Forks
Watchers

Owner

verified publisher icon Risto-Stevcev

Metadata

:cyclone: Church encodings written in Haskell

Back