liquid-fixpoint v0.7.0.7 Release Notes

Release Date: 2018-02-15 // about 6 years ago
  • ➕ Add support for coercions to support GADTs.