agda-mode

Here are 5 public repositories matching this topic...

agda-mode on VS Code

vscode vscode-extension agda reasonml agda-mode

Language Server for Agda

agda-mode on Atom

atom agda agda-mode

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

latex agda-mode powertoys powertoys-run powertoys-run-plugin

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

tex agda representation-theory agda-backend agda-mode agda-library calp

Add a description, image, and links to the agda-mode topic page so that developers can more easily learn about it.

To associate your repository with the agda-mode topic, visit your repo's landing page and select "manage topics."