BATT is a type checker for bunched affine type theory.
More to come soon!
- Ulrich Schöpp, Names and Binding in Type Theory, PhD thesis, 2006.
- Mitchell Riley, A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory, PhD thesis, 2022.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
BATT is a type checker for bunched affine type theory.
More to come soon!