Popular repositories Loading

1. vim-agda vim-agda Public

   Asynchronous type-checking for Agda 2.6.2.

   Vim Script 22 2

2. vim-foldout vim-foldout Public

   Outline-based folding with syntax highlighting.

   Vim Script 11

3. agda-unused agda-unused Public

   Check for unused code in an Agda project.

   Haskell 9 1

4. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell