chalk-ir 0.79.0

Chalk's internal representation of types, goals, and clauses
Documentation