Commits on Oct 26, 2010
  1. IDesc: code alignment committed Oct 26, 2010
  2. quotients: add legend for class committed Oct 26, 2010
  3. ydtm: add Makefile committed Oct 26, 2010
  4. ydtm: fix typos committed Oct 26, 2010
Commits on Oct 21, 2010
  1. quotients note: use proper notation for quotient and class. committed Oct 21, 2010
Commits on Oct 20, 2010
  1. notes: add Quotients documentation. committed Oct 20, 2010
Commits on Sep 29, 2010
  1. Tactics.Matching: replace horrible solveEquation with a canTy-based i…

    This is broken, as documented in the file, but it works better than the old code. I will file a bug explaining the problems. committed Sep 29, 2010
  2. Add instance HalfZip Elim and corresponding aspect committed Sep 29, 2010
Commits on Sep 25, 2010
  1. added lambda calculus code to the manual committed Sep 25, 2010
Commits on Sep 23, 2010
  1. icfp talk: backup my slides so far committed Sep 23, 2010
  2. some corrections to the manual committed Sep 23, 2010
Commits on Sep 22, 2010
  1. Search for recursive calls inside branches

    When looking for recursive call justification hypotheses in |seekLabel|, we can go inside branches by creating a fresh reference and switching on the branches (compare applying the hypothesis when going inside a Pi-type). If the branches are particularly nice, this might let us find a recursive call we would not otherwise spot. committed Sep 22, 2010
  2. Stop elaborator from labelling inductive data types

    Now that we have the data and idata tactics, we do not need to label inductive data types when we elaborate them. This is good, because sometimes the elaborator would attach labels in the wrong places when doing generic programming.
    The IDesc elaboration/distillation/pretty-printing code has been extended to support unlabelled |IMu|s, and Desc has been tidied up a little. committed Sep 22, 2010
  3. updated the downloads section to cabal committed Sep 22, 2010
  4. added pigmode to the running epigram section of the manual committed Sep 22, 2010
  5. added lookup and tabulate to the manual committed Sep 22, 2010
  6. Features.Enum: implement induction principle for enumerations (issue …

    This should let us handle partial enumerations more easily, and we could replace the hard-coded switch operator with a definition that appeals to enumInduction. We still need a compiler definition for the new operator.
    The pretty-printing size of the numeric representation of enumerations (1 + e) has also been corrected. committed Sep 22, 2010
Commits on Sep 21, 2010
  1. Tactics.Relabel: rewrite to use canTy for matching canonical construc…

    This means that we can write |con x| on the left-hand side, amongst other things. committed Sep 21, 2010
  2. pigmode: comments coloring gets top priority

    Pierre-Evariste Dagand committed Sep 21, 2010
Commits on Sep 20, 2010
  1. Test: port Levitation code (checkpoint)

    Pierre-Evariste Dagand committed Sep 20, 2010
Commits on Sep 18, 2010
  1. test: add issue #109 test case, BugSubstEq.pig committed Sep 18, 2010
  2. Test: fix the simpler(?) induction for IDesc committed Sep 18, 2010
Commits on Sep 16, 2010
  1. Generic guarded fixpoint construction in Desc (and most of the constr…

    …uction for IDesc)
    Removed Below.pig and added DescFix.pig and IDescFix.pig. Both use a hack to handle mutual recursion with helper functions. The IDesc variant is incomplete (see comments in the file). committed Sep 16, 2010
  2. NameResolution: fix non-exhaustive pattern in showEntries (issue 108) committed Sep 16, 2010
Commits on Sep 13, 2010
  1. Distiller: ignore de Bruijn index on FAKE references (issue 87) committed Sep 13, 2010
  2. Update test results for previous patch (issue 23, issue 101)

    Disable SimpleIInduction.pig; add results for Sort.pig but leave disabled because it is slow. committed Sep 13, 2010
  3. Relabel: handle global parameters (issue 23) and applications (issue …

    …101) correctly
    Suppress the parameters in global scope (i.e. not in the current development) when relabelling, since they cannot be relabelled and to match the appearance of the programming problem. Allow applications and labelled calls in relabelling. committed Sep 13, 2010
Commits on Sep 11, 2010
  1. EWAM: removed one redundant bquote committed Sep 11, 2010
  2. pigmode red tags, Sort.pig cosmetics committed Sep 11, 2010
  3. Cochon: rollback code re-use for reading commands.

    Code re-use... Stop kidding yourself.
    Pierre-Evariste Dagand committed Sep 11, 2010
  4. pigmode: different handling of windows. Run Pig with comint.

    Pierre-Evariste Dagand committed Sep 11, 2010
  5. pigmode: ignore trailing spaces. '--.*$' is a comment.

    Pierre-Evariste Dagand committed Sep 11, 2010
  6. Merge committed Sep 11, 2010
  7. pigmode: support multi-line inputs (looking for a terminating ';\n')

    Pierre-Evariste Dagand committed Sep 11, 2010