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 length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program.
2 days, 10 hours ago passed
.. image:: https://readthedocs.org/projects/agda/badge/?version=v2.6.0 :target: https://agda.readthedocs.io/en/v2.6.0/?badge=v2.6.0 :alt: Documentation Status
<a href='https://agda.readthedocs.io/en/v2.6.0/?badge=v2.6.0'> <img src='https://readthedocs.org/projects/agda/badge/?version=v2.6.0' alt='Documentation Status' /> </a>
Project has no tags.
Project Privacy Level