Revision b6151854da6971c90f3db8212f3dd1c11286c44f authored by Casper Bach Poulsen on 31 January 2023, 12:41:24 UTC, committed by Casper Bach Poulsen on 31 January 2023, 12:41:24 UTC
1 parent 90a7ce7
| File | Mode | Size |
|---|---|---|
| lib | ||
| src | ||
| .agda-lib | -rw-r--r-- | 77 bytes |
| .gitignore | -rw-r--r-- | 21 bytes |
| .gitmodules | -rw-r--r-- | 97 bytes |
| README.md | -rw-r--r-- | 230 bytes |
| document.pdf | -rw-r--r-- | 420.3 KB |
| makefile | -rw-r--r-- | 507 bytes |
| renamingless-capture-avoiding.pdf | -rw-r--r-- | 414.0 KB |
| splncs04nat.bst | -rw-r--r-- | 29.9 KB |
Computing file changes ...
