File | Mode | Size |
---|---|---|
Abstract | ||
BrouwerTree | ||
CantorNormalForm | ||
ExtensionalWellfoundedOrder | ||
Interpretations | ||
Everything.agda | -rw-r--r-- | 1.2 KB |
General-Properties.agda | -rw-r--r-- | 3.5 KB |
Iff.agda | -rw-r--r-- | 847 bytes |
README.md | -rw-r--r-- | 366 bytes |
Sierpinski.agda | -rw-r--r-- | 27.3 KB |
Simulations.agda | -rw-r--r-- | 1.7 KB |
index.agda | -rw-r--r-- | 9.4 KB |
ordinals.agda-lib | -rwxr-xr-x | 132 bytes |