@hackage / MiniAgda

A toy dependently typed programming language with type-based termination.

0.2025.7.23

Security Advisories

No advisories found.