implementation of Ghosts of Departed Proofs (Functional Pearl)
Primary LanguageHaskell
This repository is not active