Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |