Comment by stevefan1999
7 hours ago
https://en.wikipedia.org/wiki/Church_encoding
Advanced version (which defines the ADT we use today): https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encodin...
7 hours ago
https://en.wikipedia.org/wiki/Church_encoding
Advanced version (which defines the ADT we use today): https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encodin...
No comments yet
Contribute on Hacker News ↗