GitHub repository: mr-ohman/logrel-mltt
Primary language: Agda
Created: 2016-11-14T19:52:00Z
Description: A Logical Relation for Martin-Löf Type Theory in Agda