AndrasKovacs/staged

Staged compilation with dependent types

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

Hacker News discussions

• Closure-Free Functional Programming in a Two-Level Type Theory (1 points, 0 comments, by matt_d, 2024-06-19)