better comments/documentation darcs-hash:20071028224311-5007d-c6cdcdb8a2938b6874581fabb8b6471f086859ed.gz
add example showing why we cannot simply extract the witness from TerminatesWith to get a trivial eval darcs-hash:20071028222407-5007d-35f02a37ae798d87d4dc41385d07f6a687c1b2d3.gz
rename Recursion darcs-hash:20071002123310-5007d-2810fa6c7b014f9bebe5f7bb6730e5c7382fdff4.gz