@hackage / caledon

a logic programming language based on the calculus of constructions

3.2.2.0

Version history