Permalink
Switch branches/tags
Nothing to show
Commits on Nov 10, 2011
Commits on Sep 8, 2011
Commits on Sep 1, 2011
  1. Adapting the other libraries.

    committed Sep 1, 2011
  2. Changing interface again.

    committed Sep 1, 2011
  3. Added cri-mwc-random.

    committed Sep 1, 2011
  4. Added cri-lfg.

    committed Sep 1, 2011
  5. Added cri-random package.

    committed Sep 1, 2011
  6. Cabalized core CRI.

    committed Sep 1, 2011
  7. Whitespace.

    committed Sep 1, 2011
  8. Added wrapper module.

    committed Sep 1, 2011
  9. Renaming Generates to Source.

    committed Sep 1, 2011
  10. Changing data to newtype.

    committed Sep 1, 2011
  11. Added some experiments.

    committed Sep 1, 2011
  12. Some changes.

    committed Sep 1, 2011
Commits on Aug 31, 2011