generating.txt

How to generate gaptypes.json
=============================

Open GAP and load MitM:

    LoadPackage("MathInTheMiddle");

If that didn't work, then:

    LoadPackage("PackageManager");
    InstallPackage("https://github.com/gap-packages/MathInTheMiddle.git");
    LoadPackage("MathInTheMiddle");

Then run:

    MitM_TypesToJson("types.json");;
    json := JsonStreamToGap(InputTextFile("types.json"));;

and the types.json file should appear in your working directory.

Note that its contents depend on the packages loaded (we should therefore load
the default packages only).

Note that it's also horribly formatted (all on one line).  Fix this with

    cat types.json | jq -M --indent 4 . > gaptypes.json

and you have your gaptypes.json file