Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

/prog/ challenge #343546568356735

Name: Anonymous 2017-01-14 3:11

dubs checker in lambda calculus

Name: Anonymous 2017-01-15 0:46

What should I use to encode numbers in lambdas? Church's system?
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -