https://github.com/martinescardo/TypeTopology
Tip revision: bb727dd222070800e760e6656a633eb00a8b4686 authored by Martin Escardo on 05 April 2024, 15:06:50 UTC
make ccons abstract to prove a point
make ccons abstract to prove a point
Tip revision: bb727dd
| File | Mode | Size |
|---|---|---|
| .github | ||
| admin-utilities | ||
| latex | ||
| source | ||
| .gitignore | -rw-r--r-- | 192 bytes |
| CODE-OF-CONDUCT.md | -rw-r--r-- | 347 bytes |
| CONTRIBUTING.md | -rw-r--r-- | 4.1 KB |
| LICENSE | -rw-r--r-- | 34.3 KB |
| Makefile | -rw-r--r-- | 129.8 KB |
| README.md | -rw-r--r-- | 9.0 KB |
| STATEMENT-OF-INCLUSION.md | -rw-r--r-- | 1.2 KB |
| typetopology.agda-lib | -rw-r--r-- | 186 bytes |
| updateurl | -rwxr-xr-x | 4.7 KB |
