« Changelog History


ersatz v0.4.2 Release Notes

Release Date: 2018-01-18 // about 6 years ago
    • ➕ Add Semigroup instances for Clause and Formula.
    • Generalize regular, regular_in_degree, regular_out_degree, max_in_degree, min_in_degree, max_out_degree, and min_out_degree to work over heterogeneous relations.
    • ➕ Add buildFrom to Ersatz.Relation.Data.
    • Add difference, reflexive_closure, and symmetric_closure to Ersatz.Relation.Op.
    • ➕ Add anti_symmetric and total to Ersatz.Relation.Prop.