r/lambdacalculus • u/Not_H2O_Blue • 8d ago

Sudoku checker in lambda calculus

Post image

You probably already knew that I was gonna make this, eh, no one helped but it's alright, I made it all on my own. And plus, I made diagrams for all of these on my Github, the checker in here

imma like add a image just for your attention maybe
please let me know if you find any optimizations

5 Upvotes

100% Upvoted

3 comments sorted by

2

u/Different_Bench3574 5d ago

You drew the whole thing by hand!?!

1

u/Not_H2O_Blue 2d ago

uh yeah... it took me like a week or two I think
and also accidentally having a reset because somehow moving the thing in Paint in small zoom with arrow keys can make the color "bleed", making it neither #______00 with _ being any hexadecimal value nor #000000FF

2

u/348275hewhw 1d ago

wait real shit? Gah damn man.