You will need a 64-bit Linux machine.
Install Docker (if you haven't already).
sudo apt install docker.io sudo adduser $USER docker
You will have to log out of your desktop session for
adduserto take effect.
If you don't already have stack, install it like this:
wget -qO- https://get.haskellstack.org/ | sh
If you do have it, make sure it's the latest version:
Fetch the code.
git clone --recurse-submodules https://github.com/AshleyYakeley/Truth.git cd Truth
Build. This will take about an hour or so.
make make install
(Don't do "sudo make install", that will confuse stack.)
This will put the executable program in
Try running one of the example files:
Alternatively, if you're curious about the type system, try running in interactive mode.