LOGIC-91: Assorted fixes for constraints / nominal logic interactions. #15

Closed
wants to merge 1 commit into
from

Projects

None yet

1 participant

@namin
Clojure member

No description provided.

@namin namin closed this Jan 2, 2013
@namin namin deleted the namin:logic-91 branch Jan 2, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment