1. 4
  1. 1

    Haskell lists notably have some odd behaviour because they’re allowed to be non-terminating. So does LiquidHaskell not enforce some kinds of validity? The length function defined here is not total, but it seems we were allowed to use it in logic as though it were?