aboutsummaryrefslogtreecommitdiff
path: root/src/Data
Commit message (Collapse)AuthorAge
* Move code to .Internal module, and some haddocsTom Smeding2024-08-28
|
* Remove some superfluous language extensionsTom Smeding2024-08-28
|
* Rename "lifting" to "floating"Tom Smeding2024-08-28
| | | | The paper calls it floating, and that's a less overloaded term.
* Implement sorting of floated expressionsTom Smeding2024-08-28
|
* It does somethingTom Smeding2024-08-28
|
* WIP lower to de bruijn indicesTom Smeding2024-08-27
|
* InitialTom Smeding2024-08-01