agda-web / agda-input Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

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

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
data		data
out		out
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md
jsconfig.json		jsconfig.json
package.json		package.json

Repository files navigation

agda-input

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

Data sources

The data is prepared from the following sources, in order:

Unicode data from UCD: v15.1.0.
Emacs' Quail package: v29.4.
Agda's input method: v2.6.4.3.

About

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

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

JavaScript 100.0%