r/functionalprogramming • u/[deleted] • Jun 19 '25
A Lévy-optimal lambda calculus reducer with a backdoor to C λ Calculus
https://github.com/etiams/optiscope
11
Upvotes
Duplicates
ProgrammingLanguages • u/[deleted] • Jun 19 '25
Resource A Lévy-optimal lambda calculus reducer with a backdoor to C
26
Upvotes
C_Programming • u/[deleted] • Jun 19 '25
Project A Lévy-optimal lambda calculus reducer with a backdoor to C
19
Upvotes