Church-encoded payment types

added by DotNetKicks
12/6/2018 2:25:29 PM

1 Kicks, 2414 Views

This article is part of a series of articles about Church encoding. In the previous articles, you've seen how to implement Boolean logic without Boolean primitives, as well as how to model natural numbers, how to implement a Maybe container, and how to implement an Either container.