jbearer / hspl / 97

Builds Branch Commit Type Ran Committer Via Coverage
97 core Factor out common implementation of Unifier and Renamer. Both of these types map (forall a. TermEntry a => Var a) to (forall a. TermEntry a => f a), where f is either Term or Var. Worse, they have a complicated implementation without a real inter... push jbearer travis-ci pending completion   set done
96 core fixup! Set up benchmarking infrastructure. push jbearer travis-ci pending completion   set done
91 core fixup! Set up benchmarking infrastructure. push jbearer travis-ci pending completion   set done
89 core Create a module dedicated to displaying data structures. The purpose of the module is to isolate code which turns internal data structures into user-facing strings. Giving this code its own module also makes it a bit more convenient to apply some... push jbearer travis-ci pending completion   set done
88 core fixup! Add support for breakpoints in the debugger. push jbearer travis-ci pending completion   set done
87 core Add support for breakpoints in the debugger. push jbearer travis-ci pending completion   set done
86 core Provie a mechanism for creating semi-determinitic goals. A semi-deterministic goal is one which succeeds at most once. We have two interfaces for creating these goals: 1. once. Analagous to Prolog's once/1. Converts a possibly nondeterministi... push jbearer travis-ci pending completion   set done
85 core Implement a debugger command to print the current goal stack. push jbearer travis-ci pending completion   set done
84 core fixup! Make solver runtime errors a continuation. push jbearer travis-ci pending completion   set done
83 core Fix |=| and |\=| operator precedence push jbearer travis-ci pending completion   set done
82 core Add some built-in list predicates. The predicates have an "h" prefix to differentiate them from the Prelude functions of the same names. They are 1. helem (roughly equivalent to Prolog's member/2) 2. hlength (length/2) 3. hat (nth0/3) push jbearer travis-ci pending completion   set done
81 core Provide a low-level API for inspecting unifiers push jbearer travis-ci pending completion   set done
80 core Add a function to determine if two terms are alpha-equivalent push jbearer travis-ci pending completion   set done
79 core Implement |<|, |>|, |<=|, and |>=| goals. Also swapped `is` with |==|, since |==| is more consistent with the new notation. push jbearer travis-ci pending completion   set done
78 master Improve semantics of proveEqualWith Since all 'TermEntry's are now 'Termable', we can express the semantics the 'Equal' goal in a much simpler way. Modulo Maybes, the evaluation of the rhs can be approximately expressed by 'toTerm . fromTerm'. Th... push jbearer travis-ci pending completion   set done