/

agda/cornelis

agda-mode for neovim

HaskellStars 171Forks 24Watchers 171Open issues 26License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Owneragda

Homepage—

Last pushed2025-11-03

Last updated2025-12-13

Issues fetched at—

Stats

Community at a glance