| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | agdaPackages.standard-library: 1.3 -> 1.4 | Manuel Bärenz | 2020-10-19 | 1 | -2/+2 |
| * | Agda: Add turion as maintainer | Alex Rice | 2020-05-14 | 1 | -1/+1 |
| * | agda.standard-library: 1.1 -> 1.3 | Alex Rice | 2020-05-14 | 1 | -2/+2 |
| * | agda: rework builder | Alex Rice | 2020-05-14 | 1 | -0/+26 |
 |
index : kookienomicon | |
| My personal project and infrastructure archive | Katharina Fey |
| aboutsummaryrefslogtreecommitdiff |