$ CODIGO
log in

Agda

Edit on GitHub GitHub logo

Paradigms

purely functional, functional

Typing

dependent system, non-structural typing, strong typing, full inference

Influenced By

Haskell, Coq, Epigram

Influenced

Idris, Lean

File extensions

agda

External Links

Type programming
Created 2007
Developed by Chalmers University of Technology
PyPL Index N/A
TIOBE Index N/A
GitHub rank #165

Code Example

↓
Loading...