Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-01-22 | agda.withPackages: use GHC with ieee754 as default | Alexander Ben Nasrallah | 1 | -1/+1 |
2021-01-01 | doc: explicit Markdown anchors for top-level headings; remove metadata | Ryan Mulligan | 1 | -6/+1 |
2020-09-18 | agda.section.md: Fix header, enumerations, capitalisation | Manuel Bärenz | 1 | -17/+22 |
2020-06-17 | agda: fix manual build | Cole Helbling | 1 | -2/+2 |
2020-06-01 | agda: install literate files | Alex Rice | 1 | -1/+11 |
2020-05-24 | agda: fix typo in library management documentation | Uma Zalakain | 1 | -1/+1 |
2020-05-14 | agda: rework builder | Alex Rice | 1 | -0/+96 |