Mercurial > hg > Members > kono > Proof > HyperReal

directory / @ 22:942f4e528a79 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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--