Permalink
Commits on Jan 31, 2011
Commits on Jan 28, 2011
Commits on Jan 27, 2011
  1. Better error messages for ShakefileException by recording the names o…

    batterseapower committed Jan 27, 2011
    …f the needs from which they originated, and a different Show instance for CanonicalFilePath
Commits on Jan 22, 2011
  1. Add an Empty namespace

    batterseapower committed Jan 22, 2011
  2. Fix the subtyping rule for width subtying so it isn't ambiguous with …

    batterseapower committed Jan 22, 2011
    …the standard subtyping rule
  3. Implement lexical scoping for rules, and the privateTo combinator for…

    batterseapower committed Jan 22, 2011
    … creating private rule databases
Commits on Jan 21, 2011
  1. Merge files and oracles (in the core only, haven't made changes to th…

    batterseapower committed Jan 21, 2011
    …e examples). Loses lexical scoping + Typeable complexity
  2. Minor tidying up

    batterseapower committed Jan 21, 2011