formidable — system F interpreter implemented in Haskell

very much a WIP.

following TAPL (not strictly though.)

building

1. download stack
2. run

   stack build --pedantic --copy-bins
       

   • the first time you run this will probably take some time
   • with --copy-bins the executable formidable will be copied to ~/.local/bin on unixy platforms, make sure it is in your PATH variable.

using

formidable --help

currently there’s a way to evaluate a single file or use a REPL.

syntax

see the files in the examples directory (or read the parser module :).

testing

you can run the tests with

stack test