Can I write Agda using only ASCII characters?

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/agda
#Data structures #Dependent Types #Agda #programming-language #proof-assistant

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • agda-tapl

    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.

  • Agda

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

    (For example, the standard dependent pair definition Σ, which is defined in Agda's core, does not have any).

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

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.

Suggest a related project

Related posts