Update Tuple definition to GHC 9.6 in the extensionality feature

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

132 stars 60 forks source link

Closed facundominguez closed 9 months ago

facundominguez commented 9 months ago

I'll create a release of liquid-fixpoint to use with ghc-9.4.7.