Hacker News new | ask | show | jobs
by MarcusE1W 720 days ago
Austral uses linear types as a main feature https://austral-lang.org/