https://github.com/ice1000/agda-mode
Accessing Agda's interaction mode via command line & external tactic for Agda.
https://github.com/ice1000/agda-mode
agda command-line-tool
Last synced: 11 months ago
JSON representation
Accessing Agda's interaction mode via command line & external tactic for Agda.
- Host: GitHub
- URL: https://github.com/ice1000/agda-mode
- Owner: ice1000
- License: apache-2.0
- Created: 2019-11-13T05:09:23.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-11-19T16:00:43.000Z (over 5 years ago)
- Last Synced: 2025-02-28T02:23:49.387Z (over 1 year ago)
- Topics: agda, command-line-tool
- Language: Rust
- Homepage:
- Size: 225 KB
- Stars: 26
- Watchers: 5
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- License: LICENSE