Getting started


Manual installation

For machines with Ubuntu 16 or newer, clone or download this repository, execute the installation script, then log off and login again.

git clone
cd bitml-compiler

Virtual machine image

Here you can find a VirtualBox virtual machine image with the BitML toolchain pre-installed.

Next steps

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.