Haskell side loss tests are still falling over, working on them now.
The big changes on the Python side of things are:
Optimise constructor no longer gets Name field of the name of the quantified variable. Instead it only takes a Bool and [Name] for the list of contexts. We'll have to grab the name from the binder as discussed.
Haskell side loss tests are still falling over, working on them now.
The big changes on the Python side of things are:
Optimiseconstructor no longer getsNamefield of the name of the quantified variable. Instead it only takes aBooland[Name]for the list of contexts. We'll have to grab the name from the binder as discussed.