1. Home
  2. Computer
  3. Programmin­g
  4. The Agda Wiki

Computer · Programmin­g

The Agda Wiki

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About The Agda Wiki

The Agda Wiki- Home page for the Agda 2, a dependently typed functional programming language.

Tags

Fortran

Where it sits

Computer Programmin­g

More in Programmin­g

See all →