Skip to content
Commits on Nov 12, 2010
  1. @sjoerdvisscher

    Added having.

    sjoerdvisscher committed Nov 12, 2010
Commits on Nov 11, 2010
  1. @sjoerdvisscher
  2. @sjoerdvisscher

    Revert "Revert "Revert "Fixed apply."""

    This reverts commit 4c5c113.
    sjoerdvisscher committed Nov 11, 2010
  3. @sjoerdvisscher

    Revert "Revert "Fixed apply.""

    This reverts commit 2b1bd6e.
    sjoerdvisscher committed Nov 11, 2010
  4. @sjoerdvisscher

    Revert "Fixed apply."

    This reverts commit 154120b.
    sjoerdvisscher committed Nov 11, 2010
Commits on Nov 10, 2010
  1. @sjoerdvisscher

    Fixed apply.

    sjoerdvisscher committed Nov 11, 2010
  2. @sjoerdvisscher
  3. @sjoerdvisscher

    There are left and right associative versions of many and some.

    They provide chainr1 and chainl1 respectively.
    sjoerdvisscher committed Nov 10, 2010
  4. @sjoerdvisscher

    Added chainr1.

    Added apply, which has a cool signature but is 
    probably completely useles otherwise.
    sjoerdvisscher committed Nov 10, 2010
  5. @sjoerdvisscher
  6. @sjoerdvisscher
  7. @sjoerdvisscher
  8. @sjoerdvisscher

    Added (.~).

    More public functions.
    sjoerdvisscher committed Nov 10, 2010
Commits on Nov 9, 2010
  1. @sjoerdvisscher

    Added (.~). New many, some and opt.

    Old many renamed to listP.
    sjoerdvisscher committed Nov 9, 2010
  2. @sjoerdvisscher
Commits on Nov 7, 2010
  1. @sjoerdvisscher
  2. @sjoerdvisscher
  3. @sjoerdvisscher
  4. @sjoerdvisscher
  5. @sjoerdvisscher
  6. @sjoerdvisscher

    Fixed int.

    sjoerdvisscher committed Nov 7, 2010
  7. No dependency on mtl

    committed Nov 7, 2010
  8. parse1 and unparse1

    committed Nov 7, 2010
  9. Rename P to Router

    committed Nov 7, 2010
  10. Moved Zwaluw to Web.Zwaluw

    committed Nov 7, 2010
  11. Inlined ConstrN type constructors

    Now consistently using polymorphic type parameter r
    committed Nov 7, 2010
  12. Added target "clean"

    committed Nov 7, 2010
  13. Moved Zwaluw to Web.Zwaluw

    committed Nov 7, 2010
  14. Moved Zwaluw to Web.Zwaluw

    committed Nov 7, 2010
Something went wrong with that request. Please try again.