Austral(austral-lang.org)
2 pointsby toshan hour ago1 comment
  • piinbinaryan hour ago
    How do the linear types here relate (or not relate) to the Borrow Checker in Rust?