Mercurial > hg > Members > kono > Proof > HyperReal
view HyperReal.agda-pkg @ 22:942f4e528a79 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 09 Jul 2021 11:11:10 +0900 |
parents | 8c492c69514c |
children |
line wrap: on
line source
# File generated by Agda-Pkg name: HyperReal version: v0.0.1 homepage: https://ie.u-ryukyu.ac.jp/~kono license: MIT license-file: LICENSE.md tested-with: 2.6.1.2 description: HyperReal is an Agda library ... depend: - standard-library include: - src # End