Church encoding of lists

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

We consider fold-right for lists, and its static type.\xa0 The Church encoding for lists makes them into their own fold-right functions