Agda

Tags: functional

Related tools:

Agda Summary
Language Agda
Home Page