Permalink
Switch branches/tags
Nothing to show
Commits on Jan 1, 2010
  1. Add a license :-)

    committed Jan 1, 2010
  2. Add a README.

    committed Jan 1, 2010
  3. More comprehensive demo.

    committed with Aug 21, 2009
  4. A bit nicer desugaring.

    committed with Aug 21, 2009
Commits on Aug 20, 2009
Commits on Aug 19, 2009
  1. Implement concatMap.

    committed Aug 19, 2009
  2. TODO update.

    committed Aug 19, 2009
  3. Implement if-then-else.

    committed Aug 19, 2009
  4. Implement the 'id' built-in.

    committed Aug 19, 2009
  5. s/builtin_app/builtinApp/

    committed Aug 19, 2009
  6. Implement equality predicates.

    committed Aug 19, 2009
  7. TODO update.

    committed Aug 19, 2009
Commits on Aug 18, 2009
  1. More minor cleanups...

    committed Aug 18, 2009
  2. Rename my* to *_ and typecheck_pretty to printType.

    Rename (Haskell embeddings of) functions previously named my* (myConcat, mySnd,
    ...) to the form *_ (concat_, snd_) for consistency.
    
    Also add two tests.
    committed Aug 18, 2009
  3. Fix a bug with tuple typechecking.

    Also updates the test suite accordingly.
    committed Aug 18, 2009
Commits on Aug 17, 2009
  1. Automate tests with HUnit.

    committed Aug 17, 2009
  2. Tests for the 'let' construct.

    committed Aug 17, 2009
  3. TODO update.

    committed Aug 17, 2009
  4. A simple 'let'.

    committed Aug 17, 2009
  5. TODO update.

    committed Aug 17, 2009