11 commits

Author	SHA1	Message	Date
Valentin Gagarin	a1c683aabb	move shell.nix tutorial up (#879) ... it doesn't make sense that we continue with reproducibility becuase we haven't seen lookup paths yet.	2024-01-29 02:42:40 +01:00
Lorenzo Manacorda	ca15343a1a	Fix spell checking errors	2023-11-13 13:46:03 +01:00
fricklerhandwerk	0d93318c5c	move python dev env sample to recipes ... Co-authored-by: Alexander Groleau <alex@proof.construction>	2023-10-09 21:23:26 +02:00
Alexander Groleau	14b2fc7848	Merge pull request #756 from fricklerhandwerk/merge-shell-tutorials ... merge the two shell.nix tutorials into one	2023-10-09 13:17:12 -05:00
fricklerhandwerk	ea104900d0	merge the two shell.nix tutorials into one ... rephrase slightly for brevity and clarity. re-use the examples from the ad-hoc environment tutorial both for simplicity as well as to give it some continuity. Co-authored-by: Alexander Groleau <alex@proof.construction>	2023-10-09 20:13:19 +02:00
fricklerhandwerk	869d6bd0b4	move Nix language tutorial to top level ... this fits the global outline we developed, and also makes the tutorial more immediately visible - working with the Nix language is a core skill we want to teach after all	2023-10-09 17:26:06 +02:00
Valentin Gagarin	1eed36a44b	add redirects for changed directory structure (#608)	2023-06-25 17:33:19 +02:00
Yuki Langley	32a1c63ad9	Improve landing page (#584) ... Add overview of categories, and the origin of the name Nix	2023-06-05 17:31:49 +02:00
Valentin Gagarin	43b2887c3e	reword introduction to first steps tutorials ... this more closely matches the current contents	2023-05-12 07:38:06 +02:00
Zach Mitchell	4ed3b9ceb8	Remove nesting, add tutorial series description	2023-05-09 22:36:30 -06:00
Zach Mitchell	b573def109	Set the structure of the tutorials section	2023-05-07 09:08:04 -06:00