sudo apt-get install gobject-introspection
sudo apt-get install libgirepository1.0-dev libwebkit2gtk-4.0-dev libgtksourceview-3.0-dev
Run this command from the proj directory
stack run
Here is an initial page.
There is a text field for terms and choice of reduction type. You also can copy the examples of terms.