3 ms·
To add to this, you cannot have dependent proofs 'easily' in Haskell, but you can use LiquidHaskell for proofs!
by bvoq 4y ago
To add to this, you cannot have dependent proofs 'easily' in Haskell, but you can use LiquidHaskell for proofs!
loading thread…