agda-mode on VS Code

Language Server for Agda

agda-mode on Atom

PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!

Notes about "An introduction to Finite Group Representation Theory using Agda"

agda-mode for Visual Studio Code in Agda