1 result found Sort:

agda
cornelis agda
24
148
bsd-3-clause
6
agda-mode for neovim
agda neovim nvim-hs vim-which-key vim-textobj-user
Created 2022-01-26
393 commits to master branch, last one about a month ago