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