Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-08-03 | adga: Add test for all packages | Manuel Bärenz | 1 | -0/+7 |
2021-08-03 | agda.section.md: Lay out Agda maintenance guidelines | Manuel Bärenz | 1 | -1/+56 |
2021-06-07 | doc: prepare for commonmark | Jan Tojnar | 1 | -14/+21 |
2021-04-23 | agda: extend agda language frameworks manual section | Alexander Ben Nasrallah | 1 | -9/+90 |
2021-04-05 | doc/languages-frameworks/*: add missing languages to code fences | Sandro Jäckel | 1 | -7/+7 |
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 |