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. The first time, this will take about an hour or so.
This will create a Debian package in the