Labels
Labels
25 labels
- Makes tasks developing cakeml itself easier
- Improvements that will be noticed, >5-10% speedups
- May still assume familiarity
- Likely requires special techniques even to measure effectiveness
- Easy to measure but may not be noticed by itself
- Runtime of a plausible real cakeml-generated binary
- can be done as a student project (at various levels)
- regression test failed on the latest commit of this pull request
- Things like building, linters and LSP
- Time needed to perform tasks not related to compiler development