silt-lang/silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.

2 best points · 0 comments · 1 Hacker News post · 244 GitHub stars · View on GitHub

Hacker News discussions

• Silt – a fast, dependently typed language written in Swift (2 points, 0 comments, by EvgeniyZh, 2017-11-13)