| 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 |
