`ghc-software-foundations`

The Software Foundations books, in GHC

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
.github/workflows		.github/workflows
logical-foundations		logical-foundations
verified-functional-algorithms		verified-functional-algorithms
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
cabal.haskell-ci		cabal.haskell-ci
cabal.project		cabal.project

Provide feedback