Permalink
Commits on Oct 1, 2010
Commits on Sep 29, 2010
  1. added slime dev dep

    committed Sep 29, 2010
Commits on Sep 28, 2010
Commits on Sep 24, 2010
  1. playing around

    committed Sep 24, 2010
Commits on Sep 20, 2010
Commits on Sep 19, 2010
Commits on Sep 17, 2010
  1. first tests for record invars

    committed Sep 17, 2010
  2. first cut at the invariant records

    committed Sep 17, 2010
  3. doc

    committed Sep 17, 2010
Commits on Sep 5, 2010
Commits on Aug 30, 2010
Commits on Aug 27, 2010
  1. Minor note

    committed Aug 27, 2010
  2. Adding examples

    committed Aug 27, 2010
Commits on Aug 26, 2010
  1. Minor comment/README tweaks

    committed Aug 26, 2010
  2. Modified docs for defcontract

    committed Aug 26, 2010
  3. updated the docs to contract macro

    committed Aug 26, 2010
  4. Tweaks to README

    committed Aug 26, 2010
  5. Updated README and version

    committed Aug 26, 2010
  6. Modified main example page

    committed Aug 26, 2010
  7. All tests pass

    committed Aug 26, 2010
  8. ported over with-constraints and defcontract. For some dumb reason I …

    …had implemented with-constraints as a macro. That is now corrected.
    committed Aug 26, 2010