clark800/lambda-zero
View on GitHub ↗ ★ 79 C
minimalist pure lazy functional programming language (pythonic haskell)
3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2018-01-31 · latest 2024-10-20
20082026
-
Looks very similar to lambda zero syntax ( https://github.com/clark800/lambda-zero ): def getNaturalName(tag, globals) if globals.lookup("0") is Just(Global(_, _, term)) if term is Numeral(_, type, _) return Just(Name(getTermTag(type)))…
comment by clark800 · 2024-10-20 · in The Ultimate Conditional Syntax -
…great if someone was interested in writing an optimizing compiler for Lambda Zero in Lambda Zero. https://github.com/clark800/lambda-zero
comment by clark800 · 2018-08-24 · in Ask HN: What exciting open-source science projects can one contribute to? -
▲ 1
Show HN: Lambda Zero – A minimalist pure lazy functional programming languagestory by clark800 · 2018-01-31 · 0 comments