| File | Mode | Size |
|---|---|---|
| Arithmetic | ||
| Code | ||
| AlternativeDefinition.agda | -rw-r--r-- | 9.7 KB |
| Arithmetic.agda | -rw-r--r-- | 15.7 KB |
| Base.agda | -rw-r--r-- | 9.5 KB |
| Classifiability.agda | -rw-r--r-- | 2.9 KB |
| Code.agda | -rw-r--r-- | 32.7 KB |
| Everything.agda | -rw-r--r-- | 1.1 KB |
| Properties.agda | -rw-r--r-- | 11.6 KB |
| SemidecResult.agda | -rw-r--r-- | 10.6 KB |
