- Overview
- Alternatives
- Pros & Cons
Agda is a dependently typed functional programming language. It has inductive families, i.e.
Agda Information
Categories:
Platforms:
Pricing:
License:
