dunhamsteve/newt
View on GitHub ↗ ★ 51 JavaScript
A toy dependent typed language.
4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2025-01-24 · latest 2026-02-20
20082026
-
…not linear) - Web playground - LSP (added this month) - Syntax is similar to Agda / Idris / Haskell https://github.com/dunhamsteve/newt
comment by dunham · 2026-02-20 · in Lil' Fun Langs -
…You put a lot more effort into documentation than I have, but my language is just for me. ( https://github.com/dunhamsteve/newt ) You might be interested in checking out Advent of Code ( https://adventofcode.com/ ) to exercise your…
comment by dunham · 2025-12-06 · in Show HN: SFX – A language where 0.1 and 0.2 = 0.3 and Context is first-class -
…to look at your repo to see what you mean by that. [1]: https://github.com/idris-lang/Idris2 [2]: https://github.com/dunhamsteve/newt
comment by dunham · 2025-05-31 · in De Bruijn notation, and why it's useful -
…so I currently have to run the self-hosted version in `bun` (JavaScriptCore does TCO). [1]: https://github.com/dunhamsteve/newt
comment by dunham · 2025-01-24 · in I wrote my own “proper” programming language (2020)