henry-luo/lambda
View on GitHub ↗ ★ 15 C++
A modern, general-purpose, pure functional programming language (Alpha)
3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2026-03-24 · latest 2026-10-01
20082026
-
…coding. And the language, Lambda, that I designed and implemented has many similar characteristics: https://github.com/henry-luo/lambda
comment by henryluo · 2026-03-24 · in Executable Specs for Reliable Systems