← All repos

ghc-software-foundations

The Software Foundations book, in GHC

GitHub
Browse cluster: Haskell tooling and libraries →
65commits
1contributors
1languages

Tech stack & purpose

This project translates the Software Foundations books into GHC, a Haskell compiler and interactive environment. The repository contains multiple modules corresponding to different volumes of the series, including logical foundations and verified functional algorithms. The project is written in Haskell and is maintained by Ryan G. L. Scott, distributed under a BSD3 license.

Languages

Haskell
100.0%

Contributors