1QDBP: Explicit depth markers as an alternative to indentation and parentheses (opens in new tab)(github.com)GitHub1tearflake10h ago0Save
3Lambda calculus - compiler, type inference, and evaluator in less than 100 LOC (opens in new tab)(gist.github.com)GitHub2tearflake1y ago0Save
4Symbolverse – minimalistic symbolic term rewriting framework (opens in new tab)(github.com)GitHub3tearflake1y ago0Save
