Thanks for mentioning, will look at that as well. But I think I'd like to try Co...

		tomsmeding on Dec 11, 2017 \| parent \| context \| favorite \| on: Finding bugs in Haskell code by proving it Thanks for mentioning, will look at that as well. But I think I'd like to try Coq anyway :)