Getting Started


You will need a 64-bit Linux machine.

  1. Install Docker (if you haven't already).

    sudo apt install  
    sudo adduser $USER docker

    You will have to log out of your desktop session for adduser to take effect.

  2. Install Stack.

    If you don't already have stack, install it like this:

    wget -qO- | sh

    If you do have it, make sure it's the latest version:

    stack upgrade
  3. Fetch the code.

    git clone --recurse-submodules
    cd Truth
  4. Build. This will take about an hour or so.

    make install

    (Don't do "sudo make install", that will confuse stack.)

    This will put the executable program in /usr/local/bin/pinafore.


Try running one of the example files:

pinafore pinafore/examples/people.pinafore

Alternatively, if you're curious about the type system, try running in interactive mode.

pinafore -i