granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
2 best points · 0 comments · 2 Hacker News posts · 746 GitHub stars · View on GitHub
Hacker News discussions
- Granule – A statically-typed linear functional language with graded modal types (2 points, 0 comments, by aziis98, 2025-12-20)
- Granule, a statically-typed linear functional language with graded modal types (1 points, 0 comments, by birdculture, 2025-12-24)