issues
search
nomeata
/
ghc-proofs
Let GHC prove program equations for you
MIT License
145
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support GHC 8.6 compiler versions
#5
hansroland
closed
6 years ago
0
Support GHC 8.4 compiler versions.
#4
hansroland
closed
6 years ago
4
Equality rejected by ghc-proofs but accepted by inspection-testing
#3
Lysxia
opened
7 years ago
7
Proof fails, but -ddump-simpl succeeds
#2
kosmikus
closed
7 years ago
4
Document the required GHC version
#1
ndmitchell
closed
6 years ago
3