3 ms·

Although I complain about them in a sibling comment, Agda and Idris do meet the criterion of "Haskell-like with totality checking".

• eru 3y ago
  Yes. But I would want something a bit lighter-weight than them for this job. I'd want just barely more machinery and conceptual overhead than current Haskell has.
  • naasking 3y ago
    LiquidHaskell?