Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add a variant of cps_id that pulls the continuation from the lhs | 2018-11-08 | |
| | |||
* | Improve cps_id tactics, add add_var_types_cps_id, unify_extracted_cps_id tactics | 2018-10-28 | |
| | |||
* | Fix a bug in ensure_complex_continuation | 2018-10-28 | |
| | |||
* | Add CPSId tactics | 2018-10-28 | |