Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 1 month 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 (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2020-11-19T16:00:43.000Z (almost 4 years ago)
- Last Synced: 2024-06-22T03:11:26.799Z (3 months 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