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 |
|---|---|---|
| Database-Monday.agda | -rw-r--r-- | 2.3 KB |
| Database-talk.agda | -rw-r--r-- | 3.9 KB |
| Database.agda | -rw-r--r-- | 5.4 KB |
| Functor.agda | -rw-r--r-- | 3.5 KB |
| PartialBijection.agda | -rw-r--r-- | 3.1 KB |
| PartialBijection2.agda | -rw-r--r-- | 362 bytes |
| Patch.agda | -rw-r--r-- | 4.9 KB |
| PatchWithHistories.agda | -rw-r--r-- | 14.4 KB |
| PatchWithHistories2.agda | -rw-r--r-- | 18.2 KB |
| PatchWithHistories3.agda | -rw-r--r-- | 14.7 KB |
| Semigroup-starter.agda | -rw-r--r-- | 428 bytes |
| Semigroup-talk.agda | -rw-r--r-- | 3.5 KB |
| Semigroup.agda | -rw-r--r-- | 4.1 KB |
| Sequence.agda | -rw-r--r-- | 4.7 KB |
