« Changelog History


exact-pi v0.4.0.0 Release Notes

    • ➕ Added simpler constraints for converting ExactPi types to terms with the minimal context.