GitHub repository: pigworker/Bi71
Primary language: Agda
Created: 2017-07-05T09:16:42Z
Description: being a bidirectional reformulation of Martin-Löf's 1971 type theory