| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Test neural | Tom Smeding | 2024-09-25 |
| | | |||
| * | Towards neural | Tom Smeding | 2024-09-12 |
| | | |||
| * | Interpreter, some operations | Tom Smeding | 2024-09-12 |
| | | |||
| * | Named source language | Tom Smeding | 2024-09-06 |
| | | |||
| * | A simple embedded frontend | Tom Smeding | 2024-09-05 |
| | | |||
| * | Generic accumulators | Tom Smeding | 2024-09-05 |
| | | |||
| * | WIP | Tom Smeding | 2024-09-04 |
| | | |||
| * | Migrate to accumulators (mostly removing EVM code) | Tom Smeding | 2024-08-30 |
| | | |||
| * | Finish rewrite | Tom Smeding | 2024-01-25 |
| | | |||
| * | WIP rewrite code transform typing | Tom Smeding | 2024-01-24 |
| | | |||
| * | WIP in merge mode only return free variables | Tom Smeding | 2023-09-21 |
| | | | | | The code typechecks and may well work, but is untested. | ||
| * | Add invocation example to Example.hs | Tom Smeding | 2023-09-21 |
| | | |||
| * | Pretty print let bindings in do notation | Tom Smeding | 2023-09-21 |
| | | |||
| * | Storage policy (accum / merge) | Tom Smeding | 2023-09-21 |
| | | |||
| * | Examples with conditionals | Tom Smeding | 2023-09-20 |
| | | |||
| * | Stuff | Tom Smeding | 2023-09-19 |
| | | |||
| * | Pretty print | Tom Smeding | 2023-09-16 |
| | | |||
| * | CHAD ops | Tom Smeding | 2023-09-16 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| aboutsummaryrefslogtreecommitdiff |