Church-encoded numbers, lists, booleans, conditionals with fixed-point recursionmatt.might.net4 pointsjacquesm16 years ago