agda-mode

There are 0 repository under agda-mode topic.

• banacorn / agda-mode-vscode

  agda-mode on VS Code

  agdaagda-modevscodevscode-extensionreasonml
  Language:ReScript 163

• agda / agda-language-server

  Language Server for Agda

  agdaagda-modelanguage-server-protocol
  Language:Haskell 95

• banacorn / agda-mode

  agda-mode on Atom

  agdaagda-modeatom
  Language:Reason 59

• juniors90 / CALP-beamer

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

  agdaagda-backendagda-libraryagda-modecalprepresentation-theorytex
  Language:TeX 1