-
Agda is a dependently typed functional programming language. It has inductive families, i.e.Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 7 social mentions
-
Arc is designed for exploratory programming: the kind where you decide what to write by writing it.
#Programming Language #Programming #Software Development 16 social mentions