Mercurial > hg > Members > kono > Proof > HyperReal
view HyperReal.agda-pkg @ 1:b50a277631e1
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 02 Jul 2021 07:42:52 +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