You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
pellest can be installed with opam:
opam install pellest
If you don't have
opam, you can install it following the how to install opam guide.
If you can't or don't want to use
opam, consult the opam file for build instructions.
let () = Format.printf "TODO@."