Church encoding of lists

Iowa Type Theory Commute
14/02/2020 10 min Temporada 1 Episodio 43
Church encoding of lists

Listen "Church encoding of lists"

Descargar episodio

Episode Synopsis

We consider fold-right for lists, and its static type.  The Church encoding for lists makes them into their own fold-right functions
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA