44 ms·Haskell: My proofs are correct but my code is wrong. I just want to execute my induction proofs.by aero142 14y agoHaskell: My proofs are correct but my code is wrong. I just want to execute my induction proofs.tel 14y agoMore like Agda or Coq?freyrs3 14y agoThat's probably more Coq.