equational-reasoning v0.6.0.2 Release Notes

Release Date: 2020-03-26 // about 4 years ago
    • ➕ Adds support for th-desugar-1.11