Data source of Agda mode's input method, originally on Emacs.
The data is prepared from the following sources, in order:
| # | Data source | Adapted from | File name |
|---|---|---|---|
| 1. | Unicode data from UCD | v15.1.0 | UnicodeData.txt |
| 2. | LaTeX IME in Emacs' Quail package | v30.1 | latin-ltx.el |
| 3. | Agda's homebrewed translator | v2.8.0 | agda-input.el |
The project aims to generate the exact entries Agda's input method matches against, making it easier to port this input method to other text editors.