| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-05-26 | Recursively substitute the realisations | regnat | |
| Make sure that whenever we substitute a realisation, we also substitute its entire closure | |||
| 2021-02-05 | Move the GENERATE_CMP macro to its own file | regnat | |
| Despite being an ugly hack, it can probably be useful in a couple extra places | |||
 |
index : lix | |
| User & |
| aboutsummaryrefslogtreecommitdiff |