https://github.com/wenkokke/py-tree-sitter-agda

Parser for Agda files in Python.
https://github.com/wenkokke/py-tree-sitter-agda

Last synced: 10 days ago
JSON representation

Parser for Agda files in Python.

• Host: GitHub
• URL: https://github.com/wenkokke/py-tree-sitter-agda
• Owner: wenkokke
• License: mit
• Created: 2022-09-06T14:55:11.000Z (about 2 years ago)
• Default Branch: dev
• Last Pushed: 2022-09-06T14:55:12.000Z (about 2 years ago)
• Last Synced: 2023-03-23T09:32:00.547Z (over 1 year ago)
• Size: 1.95 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project