mortberg/cubicaltt

missing dependencies of experiments/truncS2.ctt

nponeccop opened this issue · 1 comments

nponeccop commented

These files are missing from experiments/:

import ex1
import indSusp
import susp
import groupoidTrunc
mortberg commented

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