search

nomeata / incredible

The Incredible Proof Machine
MIT License
358 stars 36 forks source link

Try cabal 2.4 #118

Closed nomeata closed 4 years ago