| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Rename "lifting" to "floating" | Tom Smeding | 2024-08-28 |
| | | | | | The paper calls it floating, and that's a less overloaded term. | ||
| * | Implement sorting of floated expressions | Tom Smeding | 2024-08-28 |
| | | |||
| * | It does something | Tom Smeding | 2024-08-28 |
| | | |||
| * | WIP lower to de bruijn indices | Tom Smeding | 2024-08-27 |
| | | |||
| * | Initial | Tom Smeding | 2024-08-01 |
 |
index : sharing-recovery | |
| Generic implementation of sharing recovery in Haskell | git daemon user |
| aboutsummaryrefslogtreecommitdiff |