Commit message (Expand) | Author | Age | |
---|---|---|---|
* | TH conversion works somewhat | Tom Smeding | 2024-08-29 |
* | 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-28 |
* | WIP lower to de bruijn indices | Tom Smeding | 2024-08-27 |
* | Initial | Tom Smeding | 2024-08-01 |