| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add typeOf functionsHEADmaster | Tom Smeding | 2025-10-03 |
| * | Add a test | Tom Smeding | 2025-10-03 |
| * | Move TH experiments to test-th | Tom Smeding | 2025-10-03 |
| * | Cleanup | Tom Smeding | 2025-01-24 |
| * | More WIP TH | Tom Smeding | 2024-09-02 |
| * | TODO refactoring of TH code | Tom Smeding | 2024-08-29 |
| * | 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 |
