search

rowandavies / sml-cidre

SML Checker for Intersection and Datasort Refinements (pronounced "cider")
http://www.cs.cmu.edu/~rowan/sorts.html
Other
20 stars 2 forks source link

Back off on what the refined-basis list does #5

Closed robsimmons closed 12 years ago

robsimmons commented 12 years ago

Backoff on the ambition for list.sml just a bit; it was causing problems with CMlib.