Idris

Tags: functional

Related tools:

Idris Summary
Language Idris
Home Page