Permalink
Commits on Oct 14, 2014
  1. Merge pull request #13 from miconi/master

    Implementation of newer type-checker rules
    committed Oct 14, 2014
Commits on Apr 11, 2013
  1. Stop tracking dist in the repo

    committed with Apr 4, 2013
Commits on Apr 4, 2013
  1. Stop tracking fist in the repo

    committed Apr 4, 2013
Commits on Jun 28, 2012
  1. Check that label type really is a TFunc

    Fixes issue #11
    committed Jun 28, 2012
  2. Use declared environment when checking func

    Fixes issue #10.
    committed Jun 28, 2012
Commits on Jun 27, 2012
  1. Merge pull request #9 from miconi/master

    Python to Lucretia compiler stub.
    committed Jun 27, 2012
Commits on Jun 22, 2012
  1. monadic trace function

    committed Jun 22, 2012
  2. Explanation of Example 5.4.3 fail

    committed Jun 22, 2012
  3. fixed bug in monoRename

    committed Jun 22, 2012
  4. More changes to lucre.cabal

    committed Jun 22, 2012
Commits on Jun 21, 2012
  1. Typing examples

    committed Jun 21, 2012
  2. Added String type & NoneType

    committed Jun 21, 2012
  3. lucre.cabal: fix important typo

    committed Jun 21, 2012
Commits on Jun 11, 2012
  1. Merge pull request #7 from miconi/master

    Function rules: fdecl, fapp.
    committed Jun 11, 2012
Commits on Jun 6, 2012
  1. Merge pull request #6 from miconi/master

    Ifhasattr rule, refactoring using lenses.
    committed Jun 6, 2012
Commits on May 25, 2012
  1. lucre.cabal: added other-modules

    committed May 25, 2012
  2. Merge pull request #5 from miconi/master

    Constraints isomorphism, documentation of Type Checker.
    committed May 25, 2012
Commits on May 10, 2012
  1. lucre.hs/runText: add return ()

    committed May 10, 2012
Commits on Dec 27, 2011
  1. Merge pull request #4 from miconi/master

    Constraint-cutting (garbage-Constraints collection)
    committed Dec 27, 2011
Commits on Dec 8, 2011
  1. Merge pull request #3 from miconi/master

    A bunch of new rules (with bugs fixed in the type definition rule)
    committed Dec 8, 2011
Commits on Nov 30, 2011
  1. Merge pull request #2 from miconi/master

    Tests & typechecker
    committed Nov 30, 2011
Commits on Oct 21, 2011
  1. First stab at lucre.cabal

    committed Oct 21, 2011
  2. Merge pull request #1 from miconi/master

    merge miconi/master pull req #1
    committed Oct 21, 2011
Commits on Oct 2, 2011
  1. initial commit

    committed Oct 2, 2011