]>
2021-07-30 | Julien Moutinho | machine: normalOrderReduction at the last moment | tree | commitdiff |
2021-07-28 | Julien Moutinho | add registers | tree | commitdiff |
2021-07-11 | Julien Moutinho | grammar: fix Ord SomeFailure | tree | commitdiff |
2021-07-11 | Julien Moutinho | add benchmarks | tree | commitdiff |
2021-07-11 | Julien Moutinho | fix: use a global polyfix for defLet and defRef | tree | commitdiff |
2021-07-11 | Julien Moutinho | test: add goldens for TH splices | tree | commitdiff |