index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
languages-frameworks
/
agda.section.md
Commit message (
Expand
)
Author
Age
*
doc: avoid 'simply' (#266434)
Arnout Engelen
2023-11-09
*
doc: assign ids to many headings
pennae
2023-03-27
*
doc: use sri hash syntax
Colin Arnott
2022-12-04
*
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