Mercurial > hg > Members > kono > Proof > automaton
comparison automaton-in-agda/automaton-in-agda.agda-pkg @ 182:567754463810
reorganization
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 13 Jun 2021 18:48:57 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 181:9c63284d7695 | 182:567754463810 |
|---|---|
| 1 # File generated by Agda-Pkg | |
| 2 name: automaton-in-agda | |
| 3 version: v0.0.1 | |
| 4 author: Shinji Kono (kono@ie.u-ryukyu.ac.jp) | |
| 5 | |
| 6 homepage: https://ie.u-ryukyu.ac.jp/~kono/ | |
| 7 license: MIT | |
| 8 license-file: LICENSE.md | |
| 9 | |
| 10 tested-with: 2.6.1.3 | |
| 11 description: Automaton Theory | |
| 12 | |
| 13 # End |