1 result found Sort:

agda
cornelis agda
22
135
bsd-3-clause
7
agda-mode for neovim
agda neovim nvim-hs vim-which-key vim-textobj-user
Created 2022-01-26
386 commits to master branch, last one 2 months ago