@hackage / caledon

a logic programming language based on the calculus of constructions

3.2.2.0

Security Advisories

No advisories found.