Top Answers

1. In GHC.Prim, why can pointer operations fail with an unchecked exception?
   3 votes
2. IndProp: prove that Prop is not provable
   0 votes