Closed jwaldmann closed 1 year ago
I added a short text, and an example. Then #45 can be closed.
I admire the order of constraints in
exists :: (Variable a, MonadSAT s m) => m a
because this lets us write exists @A to specify a. (I found by accident that this works, and I made a guess at the reason.)
exists @A
a
I added a short text, and an example. Then #45 can be closed.
I admire the order of constraints in
because this lets us write
exists @A
to specifya
. (I found by accident that this works, and I made a guess at the reason.)