YuNing's Thought
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Notes
❯
Church Encoding
Church Encoding
May 20, 2024
1 min read
Links
ADT
Partial Evaluator
Graph View
Backlinks
Lambda Calculus