agda-vim

Agda interaction in vim (by derekelkins)

Agda-vim Alternatives

Similar projects and alternatives to agda-vim

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better agda-vim alternative or higher similarity.

agda-vim discussion

Log in or Post with

agda-vim reviews and mentions

Posts with mentions or reviews of agda-vim. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-08-09.

Stats

Basic agda-vim repo stats
2
130
0.0
about 3 years ago

derekelkins/agda-vim is an open source project licensed under BSD 2-clause "Simplified" License which is an OSI approved license.

The primary programming language of agda-vim is Vim Script.


Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai