search

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
572 stars 76 forks source link

missing dependencies of experiments/truncS2.ctt #92

Closed nponeccop closed 6 years ago

nponeccop commented 6 years ago

These files are missing from experiments/:

import ex1
import indSusp
import susp
import groupoidTrunc
mortberg commented 6 years ago

The files in experiments are not supposed to necessarily load, so if you want to use this file please move it to examples and make sure that it loads