Add Eq instance for Discrete.
Merge branch 'master' of github.com:walkie/GameTheory-Idris