Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | More WIP TH | Tom Smeding | 3 months | |
Age | Commit message | Author | ||
2024-09-02 | More WIP THHEADmaster | Tom Smeding | ||
2024-08-29 | TODO refactoring of TH code | Tom Smeding | ||
2024-08-29 | TH conversion works somewhat | Tom Smeding | ||
2024-08-28 | WIP TH for non-base ASTs | Tom Smeding | ||
2024-08-28 | Move code to .Internal module, and some haddocs | Tom Smeding | ||
2024-08-28 | Remove some superfluous language extensions | Tom Smeding | ||
2024-08-28 | Rename "lifting" to "floating" | Tom Smeding | ||
2024-08-28 | Implement sorting of floated expressions | Tom Smeding | ||
2024-08-28 | It does something | Tom Smeding | ||
2024-08-27 | WIP lower to de bruijn indices | Tom Smeding | ||
[...] |