https://github.com/felixwellen/DCHoTT-Agda
Tip revision: ca8c755af0b26f8f50c5a60d3b7f9384a26f5d0e authored by Felix Cherubini on 17 June 2022, 08:34:49 UTC
remove unused imports
remove unused imports
Tip revision: ca8c755
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 16 bytes |
| Basics.agda | -rw-r--r-- | 4.0 KB |
| CommonEquivalences.agda | -rw-r--r-- | 21.7 KB |
| Contractibility.agda | -rw-r--r-- | 5.1 KB |
| DependentTypes.agda | -rw-r--r-- | 22.6 KB |
| DiscreteTypes.agda | -rw-r--r-- | 3.6 KB |
| EqualityAndPaths.agda | -rw-r--r-- | 12.9 KB |
| EquivalenceCharacterization.agda | -rw-r--r-- | 2.2 KB |
| Equivalences.agda | -rw-r--r-- | 21.7 KB |
| Fiber.agda | -rw-r--r-- | 5.0 KB |
| FiberBundle.agda | -rw-r--r-- | 7.8 KB |
| Formal-D-space.agda | -rw-r--r-- | 1.5 KB |
| FormalDisk.agda | -rw-r--r-- | 5.8 KB |
| FormalDiskBundle.agda | -rw-r--r-- | 8.2 KB |
| FormallyEtaleMaps.agda | -rw-r--r-- | 2.8 KB |
| FunctionExtensionality.agda | -rw-r--r-- | 2.5 KB |
| FunctionExtensionalityLIB.agda | -rw-r--r-- | 5.4 KB |
| G-structure.agda | -rw-r--r-- | 6.0 KB |
| HalfAdjointEquivalences.agda | -rw-r--r-- | 8.5 KB |
| HomogeneousType.agda | -rw-r--r-- | 5.3 KB |
| Homotopies.agda | -rw-r--r-- | 5.7 KB |
| Im.agda | -rw-r--r-- | 37.7 KB |
| ImHomogeneousType.agda | -rw-r--r-- | 9.4 KB |
| Image.agda | -rw-r--r-- | 8.1 KB |
| InfinityGroups.agda | -rw-r--r-- | 2.6 KB |
| Interval.agda | -rw-r--r-- | 1.2 KB |
| Language.agda | -rw-r--r-- | 6.6 KB |
| Manifolds.agda | -rw-r--r-- | 3.8 KB |
| PropertiesOfEtaleMaps.agda | -rw-r--r-- | 5.2 KB |
| PropositionalTruncation.agda | -rw-r--r-- | 1.8 KB |
| Pullback.agda | -rw-r--r-- | 24.6 KB |
| PullbackPasting.agda | -rw-r--r-- | 14.0 KB |
| PullbackSquare.agda | -rw-r--r-- | 37.7 KB |
| README.md | -rw-r--r-- | 2.0 KB |
| Shape.agda | -rw-r--r-- | 4.8 KB |
| Sums.agda | -rw-r--r-- | 5.0 KB |
| Univalence.agda | -rw-r--r-- | 2.0 KB |
| style-guide | -rw-r--r-- | 1.1 KB |
