FedSearch
Jevko · @jevko
12 followers · 37 posts · Server layer8.space

Did you know that some unary encodings for numbers in lambda calculus have been worked out without the use of laughing gas?

xtao.org/blog/lambda-numbers.h

#lambda #calculus #lambdacalculus #encoding #numbers #unary

Last updated 2 years ago
Original post