| File | Mode | Size |
|---|---|---|
| .github | ||
| Notes | ||
| _includes | ||
| doc | ||
| emacs | ||
| src | ||
| .gitignore | -rw-r--r-- | 145 bytes |
| CITATION.cff | -rw-r--r-- | 427 bytes |
| INSTALL_AGDA.md | -rw-r--r-- | 6.1 KB |
| LICENSE | -rw-r--r-- | 19.7 KB |
| Makefile | -rw-r--r-- | 2.3 KB |
| README.md | -rw-r--r-- | 9.3 KB |
| _config.yml | -rw-r--r-- | 228 bytes |
| agda-algebras.agda-lib | -rw-r--r-- | 62 bytes |
| generate-html | -rwxr-xr-x | 1.5 KB |
| generate-tex | -rwxr-xr-x | 1.2 KB |
