← All repos

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