RosettaGit
Tasks
Drafts
Languages
Tags
Agda is a dependently typed functional programming language.