Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given...
Alternativein is a new approach to finding good application.
Just type what software you want to change and browse great alternatives,
based on our great community recommendations.