BATT

BATT is a type checker for bunched affine type theory.

• The language
• Online demo