rowandavies/sml-cidre — pull request #1 by robsimmons (2011-10-18 06:10:57+00:00)
Title: Add some basis support for refinements

This update adds "true" and "false" refinements, "some" and "none" refinements, and "conslist" refinements - adding "conslist" isn't too expensive, but in the L10 code additionally having a "nillist" was quite expensive, so I'm not putting that in this library.