@hackage / caledon

a logic programming language based on the calculus of constructions

Latest3.2.2.0

Changelog

This release does not have a Changelog