Experimenting with proving type-logic statements in Haskell
Primary LanguageHaskell
This repository is not active