aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMore WIP THTom Smeding3 months
 
 
AgeCommit messageAuthor
2024-09-02More WIP THHEADmasterTom Smeding
2024-08-29TODO refactoring of TH codeTom Smeding
2024-08-29TH conversion works somewhatTom Smeding
2024-08-28WIP TH for non-base ASTsTom Smeding
2024-08-28Move code to .Internal module, and some haddocsTom Smeding
2024-08-28Remove some superfluous language extensionsTom Smeding
2024-08-28Rename "lifting" to "floating"Tom Smeding
2024-08-28Implement sorting of floated expressionsTom Smeding
2024-08-28It does somethingTom Smeding
2024-08-27WIP lower to de bruijn indicesTom Smeding
[...]