Permalink
Switch branches/tags
Nothing to show
Commits on Sep 7, 2011
  1. Updating the readme

    diegoeche committed Sep 7, 2011
Commits on May 26, 2010
  1. nice time to find bugs

    Diego Echeverri committed May 26, 2010
Commits on Apr 15, 2010
  1. removed documents from the thesis

    Diego Echeverri committed Apr 15, 2010
Commits on Aug 14, 2009
  1. Revert "Changes"

    Diego Echeverri committed Aug 14, 2009
    This reverts commit 4e3a2b4.
  2. Changes

    Diego Echeverri committed Aug 14, 2009
Commits on Jun 28, 2009
  1. Fixed unification for strings.

    Diego Echeverri committed Jun 28, 2009
  2. Forgotten files

    Diego Echeverri committed Jun 28, 2009
Commits on May 14, 2009
  1. Big bug related to varibles

    Diego Echeverri committed May 14, 2009
Commits on May 3, 2009
  1. Fixed some error messages

    Diego Echeverri committed May 3, 2009
Commits on Apr 29, 2009
  1. Checks for arity. Updated the env

    Diego Echeverri committed Apr 29, 2009
Commits on Apr 19, 2009
  1. Added concrete syntax for specifying the precedence, and changed all …

    Diego Echeverri committed Apr 19, 2009
    …the operators to prefix form
Commits on Apr 14, 2009
  1. Cleaned up some warning messages, Added a simple makefile and followe…

    Diego Echeverri committed Apr 14, 2009
    …d some hlint advices.
Commits on Apr 13, 2009
  1. Fixed a bunch of warning messages.

    Diego Echeverri committed Apr 13, 2009
  2. Implemented the Interpreter

    Diego Echeverri committed Apr 13, 2009
  3. Implemented the Interpreter

    Diego Echeverri committed Apr 13, 2009
  4. Implemented the Interpreter

    Diego Echeverri committed Apr 13, 2009
  5. Partial commit of Front-End

    Diego Echeverri committed Apr 13, 2009
Commits on Apr 11, 2009
  1. Added support to pairs.

    Diego Echeverri committed Apr 11, 2009
Commits on Apr 7, 2009
  1. Fixed recursive functions in the type checker

    Diego Echeverri committed Apr 7, 2009
  2. some changes in the typechecker

    Diego Echeverri committed Apr 7, 2009
Commits on Apr 4, 2009
  1. Added implementation of algorithmW from Martin Grabmuller. Now it's o…

    Diego Echeverri committed Apr 4, 2009
    …nly necessary to translate calls to this type checker.
Commits on Apr 3, 2009
Commits on Mar 30, 2009
  1. Adding support for tuples.

    Diego Echeverri committed Mar 30, 2009
Commits on Mar 29, 2009
  1. Some work is left to do

    Diego Echeverri committed Mar 29, 2009
  2. Some work is left to do

    Diego Echeverri committed Mar 29, 2009
Commits on Mar 28, 2009
  1. I think i only changed const for pure

    Diego Echeverri committed Mar 28, 2009
Commits on Mar 21, 2009
  1. Fixed a small problem with extra parentheses around variables. Added …

    Diego Echeverri committed Mar 21, 2009
    …some other examples.
Commits on Mar 18, 2009
  1. Well... we are finally getting some results. Now the return type it's…

    Diego Echeverri committed Mar 18, 2009
    … a Either that gives some information about the errors. Added a couple of sample programs to the tests.hs
Commits on Mar 16, 2009
  1. Started to migrate to Either. Just noticed that is necessary to imple…

    Diego Echeverri committed Mar 16, 2009
    …ment the cardinality of the arguments to avoid ambiguity.
Commits on Mar 14, 2009
  1. Added recursion concrete syntax. Fixed some bugs

    Diego Echeverri committed Mar 14, 2009
Commits on Mar 11, 2009
  1. Creation of declarations

    Diego Echeverri committed Mar 11, 2009
Commits on Mar 10, 2009
  1. Using definitions in the environment for evaluation

    Diego Echeverri committed Mar 10, 2009
Commits on Mar 7, 2009
  1. Added concrete syntax to definitions

    Diego Echeverri committed Mar 7, 2009
Commits on Mar 2, 2009
  1. Evaluation via Untyped-Lambda-Calculi

    Diego Echeverri committed Mar 2, 2009
Commits on Feb 23, 2009
  1. Added pretty printer

    Diego Echeverri committed Feb 23, 2009