Godalin/rime-agda-input

Agda input recipe in Rime.

语言：Emacs Lisp · GitHub 星标：7 · Fork：0

话题：input-method · rime · rime-schema

在 GitHub 上查看原仓库