profile
viewpoint

ellbur/agda-vim

Agda interaction in vim

https://github.com/ellbur/agda-vim

ellbur

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

derekelkins
jhenahan