This repository is not active
jonsterling/itt-bidirectional
A bidirectional type checker for intensional constructive type theory (with thanks to Stephanie Weirich).
HaskellMIT
A bidirectional type checker for intensional constructive type theory (with thanks to Stephanie Weirich).
HaskellMIT
This repository is not active