matheus

download the amulet compiler (for x86_64 linux with gmp and ncurses)