Tag: agda
Found 2 extensions tagged with "agda".
agda related extensions
-
Category: Programming Languages / Updated: March 20, 2024
Access document syntax using tree-sitter ...
-
Category: Other / Updated: December 16, 2023
agda-mode on vscode ...
Recommended
