Agda

swMATH9689MaRDI QIDQ21668

No author found.

Source code repository: https://github.com/agda/agda

Described by source

• Dependently Typed Programming in Agda

This page was built for software: Agda