agda

Here are 4 public repositories matching this topic...

Data source of Agda mode's input method, originally on Emacs

unicode agda

Browser-hosted, single-file Agda playground for demonstrations, learning, and practice

webassembly svelte agda

highlightjs agda

Source code of Agda mode on CodeMirror Next.

agda hacktoberfest codemirror-next

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

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