Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | 1 | -1/+1 |
2024-03-19 | idris2: prefer chez 10 over chez-racket | Mathew Polzin | 1 | -4/+6 |
2024-03-19 | treewide: add meta.mainProgram to packages with a single binary | stuebinm | 1 | -0/+1 |
2024-01-15 | idris2: add mattpolzin as a maintainer | Mathew Polzin | 1 | -1/+1 |
2024-01-15 | idris2: add api package and buildIdris helper | Mathew Polzin | 1 | -0/+97 |