Our great sponsors
-
I have successfully limited my use of Agda https://gitlab.com/bss03/agda-tapl/-/blob/master/LNB.agda to ASCII. But, it doesn't use most libraries, and may not be an example of "production" Agda.
-
(For example, the standard dependent pair definition Σ, which is defined in Agda's core, does not have any).
-
SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.