SimpleFP-v2

SimpleFP-v2 copied to clipboard

Update for GHC8 and (partial) fix of assertion patterns checking

2

This pull request contains 1. Update for recent GHC/transformers 2. Fix of the assertion patterns check problem (except for the Dpendent.Monadic variant) 3. Fix of unification to prevent proving of...

yanok

Assertion patterns are too permissive: only the type is checked

10

I don't know if it's really a concern, but starting from the `Dependent` variant we can define an equality type and prove things about equalities. Unfortunately, the way unification is...

yanok

be5invis