Static type checking To do type checking: make install # install required deps first make typecheck Quick introducton. Advanced guide.