Podcasts Technology Iowa Type Theory Commute Church encoding of the booleans

Church encoding of the booleans

Published: Feb. 15, 2020, 3 a.m.

b'

The Church encoding represents data as their own fold-right functions.\\xa0 For booleans, this means they become their own if-then-else expressions.\\xa0 We consider the polymorphic type for these, which is forall X. X -> X -> X.

'