6 Commits

Author	SHA1	Message	Date
Ross Smyth	efa5600771	docs: Add to docs and release notes	2025-10-21 12:47:02 -04:00
Ben Siraphob	cc5b731ed3	doc: fix typos	2025-08-27 11:46:26 -07:00
Pol Dellaiera	bcea0cf344	doc: update Nix code snippets format ... Command: `mdcr --config doc/tests/mdcr-config.toml doc/`	2025-04-17 01:30:34 +02:00
Mathew Polzin	77a37cde20	doc: adopt new buildIdris changes in docs	2024-06-23 12:07:13 -05:00
Mathew Polzin	dfe61cf96a	doc: update idris2 documentation on buildIdris	2024-01-23 23:35:17 -06:00
Mathew Polzin	ce58e0643b	doc: idris2 section	2024-01-15 18:19:53 -06:00