Permalink
Switch branches/tags
Nothing to show
Commits on Dec 7, 2016
  1. Merge pull request #15 from JacquesCarette/2511

    Saizan committed Dec 7, 2016
    Lots of fixes to make library compile under 2.5.1.1 (and 2.5.1.2)
Commits on Nov 24, 2016
  1. pull out some functions (make them private) as where+irrelevance do n…

    JacquesCarette committed Nov 24, 2016
    …ot play well. Then hand-write then 'with' function needed. When using explicit subst, instead of going all implicit via heterogeneous equality, what needs done is not too mysterious after all.
  2. this is one of the biggest changes: definitions using where, under ir…

    JacquesCarette committed Nov 24, 2016
    …relevance, seem to no longer work the same as the exact same definition done as a let.
  3. module parameter change

    JacquesCarette committed Nov 24, 2016
  4. module parameter change

    JacquesCarette committed Nov 24, 2016
  5. module parameter change

    JacquesCarette committed Nov 24, 2016
Commits on Nov 15, 2016
  1. somehow the _\!_ abbreviation is improperly interpreted, and everythi…

    JacquesCarette committed Nov 15, 2016
    …ng goes awry. Just expand that out to be explicit, and things start working. Makes things look ugly, but better ugly than broken.
  2. module calling convention

    JacquesCarette committed Nov 15, 2016
Commits on Nov 14, 2016
  1. module conventions

    JacquesCarette committed Nov 14, 2016
  2. module conventions

    JacquesCarette committed Nov 14, 2016
  3. module conventions

    JacquesCarette committed Nov 14, 2016
  4. module conventions

    JacquesCarette committed Nov 14, 2016
  5. module conventions

    JacquesCarette committed Nov 14, 2016
  6. where clauses are now checked differently (than let) when using irrel…

    JacquesCarette committed Nov 14, 2016
    …evance. This might be a new bug.
  7. use long name

    JacquesCarette committed Nov 14, 2016
Commits on Nov 11, 2016
  1. also remove use of broken AUReasoning, and go for plain HomReasoning.…

    JacquesCarette committed Nov 11, 2016
    … Not much worse, actually.
  2. use HomReasoning directly (which works) instead of the step-saving AU…

    JacquesCarette committed Nov 11, 2016
    …Reasoning, which does not.
Commits on Nov 8, 2016
Commits on Nov 4, 2016
Commits on Nov 3, 2016
Commits on Oct 30, 2016