aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* TODO refactoring of TH codeTom Smeding2024-08-29
* TH conversion works somewhatTom Smeding2024-08-29
* WIP TH for non-base ASTsTom Smeding2024-08-28
* 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
* 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