Commit message (Expand) | Author | Age | |
---|---|---|---|
* | adga: Add test for all packages | Manuel Bärenz | 2021-08-03 |
* | agda.section.md: Lay out Agda maintenance guidelines | Manuel Bärenz | 2021-08-03 |
* | doc: prepare for commonmark | Jan Tojnar | 2021-06-07 |
* | agda: extend agda language frameworks manual section | Alexander Ben Nasrallah | 2021-04-23 |
* | doc/languages-frameworks/*: add missing languages to code fences | Sandro Jäckel | 2021-04-05 |
* | agda.withPackages: use GHC with ieee754 as default | Alexander Ben Nasrallah | 2021-01-22 |
* | doc: explicit Markdown anchors for top-level headings; remove metadata | Ryan Mulligan | 2021-01-01 |
* | agda.section.md: Fix header, enumerations, capitalisation | Manuel Bärenz | 2020-09-18 |
* | agda: fix manual build | Cole Helbling | 2020-06-17 |
* | agda: install literate files | Alex Rice | 2020-06-01 |
* | agda: fix typo in library management documentation | Uma Zalakain | 2020-05-24 |
* | agda: rework builder | Alex Rice | 2020-05-14 |