Verified record · from the answer index
cornelis
clitested · static-verifiedscore 32/100signed passport ✓192 GitHub stars
Neovim support for Agda
cli:brew:cornelis · published by agda · source repository
Verified record · from the answer index
Neovim support for Agda
cli:brew:cornelis · published by agda · source repository