For machines with Ubuntu 16 or newer, clone or download this repository, execute the installation script install.sh, then log off and login again.
git clone https://github.com/bitml-lang/bitml-compiler.git cd bitml-compiler ./install.sh
To write a BitML contract, open the DrRacket IDE and put at the beginning of your file #lang bitml.
For an overview of the capabilities of the toolchain, watch or video demonstration. To learn more about the BitML toolchain, take a look at the examples folder in the repository, or read BitML in a nutshell.