https://github.com/dlicata335/hott-agda
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
updated thesis source file
Tip revision: dccc650
| File | Mode | Size |
|---|---|---|
| scraps | ||
| Andrew.agda | -rw-r--r-- | 1.6 KB |
| Ap.agda | -rw-r--r-- | 282 bytes |
| ConstantFunction.agda | -rw-r--r-- | 1.5 KB |
| GlueFullUA.agda | -rw-r--r-- | 4.2 KB |
| GlueFullUA2.agda | -rw-r--r-- | 1.3 KB |
| HEqUniv.agda | -rw-r--r-- | 158 bytes |
| Heterogeneous.agda | -rw-r--r-- | 2.1 KB |
| Idempotent.agda | -rw-r--r-- | 3.0 KB |
| InductionRecursion.agda | -rw-r--r-- | 2.2 KB |
| JGross.agda | -rw-r--r-- | 2.5 KB |
| JMEq.agda | -rw-r--r-- | 1.3 KB |
| JUnique.agda | -rw-r--r-- | 2.6 KB |
| MaybeIso.agda | -rw-r--r-- | 697 bytes |
| Monad.agda | -rw-r--r-- | 7.6 KB |
| Parametricity.agda | -rw-r--r-- | 418 bytes |
| PathOverEquiv.agda | -rw-r--r-- | 569 bytes |
| Phantom.agda | -rw-r--r-- | 903 bytes |
| PropositionalBetaJ.agda | -rw-r--r-- | 3.0 KB |
| Reduce.agda | -rw-r--r-- | 1.6 KB |
| Reflective.agda | -rw-r--r-- | 9.4 KB |
| Stephanie.agda | -rw-r--r-- | 1.2 KB |
| SubstMutual.agda | -rw-r--r-- | 3.8 KB |
| SubstMutual2.agda | -rw-r--r-- | 3.9 KB |
| TTinTT.agda | -rw-r--r-- | 3.1 KB |
| TTinTT2.agda | -rw-r--r-- | 4.0 KB |
| TransportEta.agda | -rw-r--r-- | 867 bytes |
| TreeFilterDepth.agda | -rw-r--r-- | 2.4 KB |
| Typecase.agda | -rw-r--r-- | 820 bytes |
| UABetaOnly-SelfContained.agda | -rw-r--r-- | 6.9 KB |
| UABetaOnly.agda | -rw-r--r-- | 435 bytes |
| UnificationWeirdness.agda | -rw-r--r-- | 2.5 KB |
| VecAssoc.agda | -rw-r--r-- | 733 bytes |
