cha
cha copied to clipboard
thsutton
A port of miniprl to Haskell with co-/inductive types bolted on the side.
Results
6
cha issues
Sort by
recently updated
recently updated
newest added
- [ ] Clean up ridiculous naming of free variables. - [ ] Produce decent output
Change the type of `resultEvidence` (the function/s which combine the evidence for subgoals of a result into evidence for the original goal) so that it can fail without raising exceptions.