search

IagoAbal / haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).
Other
57 stars 43 forks source link

instance MonadZ3 m => MonadZ3 (StateT s m), take 2 #73

Closed Munksgaard closed 2 years ago

Munksgaard commented 2 years ago

This PR takes the changes from #40 and applies the suggestions by @IagoAbal. It should be ready to merge.

IagoAbal commented 2 years ago

Thanks! And sorry for being slow at reviewing.

Munksgaard commented 2 years ago

No worries at all :-)