agda-mode

There are 5 repositories under agda-mode topic.

banacorn/agda-mode-vscode
agda-mode on VS Code
Language:ReScript173 10 14541
agda/agda-language-server
Language Server for Agda
Language:Haskell105 8 1417
banacorn/agda-mode
agda-mode on Atom
Language:Reason58 9 11214
nathancartlidge/powertoys-run-unicode
PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!
Language:C#27 2 21
juniors90/CALP-beamer
Notes about "An introduction to Finite Group Representation Theory using Agda"
Language:TeX1 1 00