Artifact report: Generic bidirectional typing for dependent type theories
摘要
We report on the implementation of a generic bidirectional algorithm for dependent type theories, following the proposal of the paper "Generic bidirectional typing for dependent type theories".