Commit Graph

12 Commits (161776ec1e35c565ff8543e7dac1f739115d1ec2)

Author SHA1 Message Date
Manuel Bärenz 8c0be16075 adga: Add test for all packages 3 years ago
Manuel Bärenz c84b60b2a9 agda.section.md: Lay out Agda maintenance guidelines 3 years ago
Jan Tojnar 6ecc641d08
doc: prepare for commonmark 3 years ago
Alexander Ben Nasrallah 4e8641a415 agda: extend agda language frameworks manual section 3 years ago
Sandro Jäckel 2c143a4614 doc/languages-frameworks/*: add missing languages to code fences 3 years ago
Alexander Ben Nasrallah b4b4e36921
agda.withPackages: use GHC with ieee754 as default 3 years ago
Ryan Mulligan b8344f9e5c doc: explicit Markdown anchors for top-level headings; remove metadata 4 years ago
Manuel Bärenz 87cab901a3 agda.section.md: Fix header, enumerations, capitalisation 4 years ago
Cole Helbling 5baa7541d7
agda: fix manual build 4 years ago
Alex Rice e215c3bcac
agda: install literate files 4 years ago
Uma Zalakain 196cc47005 agda: fix typo in library management documentation 4 years ago
Alex Rice d30e2468e0
agda: rework builder 4 years ago