directory / @ 22:942f4e528a79 default tip

name size permissions
dir. src/ drwxr-xr-x
file .gitignore 87 -rw-r--r--
file HyperReal.agda-lib 96 -rw-r--r--
file HyperReal.agda-pkg 327 -rw-r--r--
file LICENSE.md 1068 -rw-r--r--
file README.md 38 -rw-r--r--