granule-project/granule
View on GitHub ↗ ★ 746 Haskell
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2019-04-14 · latest 2025-12-24
20082026
-
▲ 1
Granule, a statically-typed linear functional language with graded modal typesstory by birdculture · 2025-12-24 · 0 comments
-
▲ 2
Granule – A statically-typed linear functional language with graded modal typesstory by aziis98 · 2025-12-20 · 0 comments