search

nomeata / ghc-proofs

Let GHC prove program equations for you
MIT License
145 stars 6 forks source link

Support GHC 8.6 compiler versions #5

Closed hansroland closed 6 years ago