search

aartaka / stdlambda

Standard library for Lambda Calculus, finally making LC a practical programming language.
BSD 2-Clause "Simplified" License
11 stars 0 forks source link

Decode Justine's functions #1

Open aartaka opened 6 months ago

aartaka commented 6 months ago

Justine is a genius, but naming arguments in alphabetical order is deadly. Need to wrap my head around her functions.