cfcs/Verifairy

A Haskell implementation of VerifPal™

VerifHAL-9000

A Haskell implementation of VerifPal™.

The manual: https://verifpal.com/res/pdf/manual.pdf

Track progress by downloading and running stack test.

To install stack, either

• https://haskellstack.org/
• https://haskell.org/ghcup/