Comment by pjmlp

Linear Haskell, Idris, Lean, Ada/SPARK, ...