valentin gagarin 6c84b9dae0 implement correct-by-construction relative links		2024-11-13 15:47:12 +01:00
..
assets	remove all the junk	2024-11-13 15:47:12 +01:00
content	implement correct-by-construction relative links	2024-11-13 15:47:12 +01:00
content_	migrate news entries	2024-11-13 15:47:12 +01:00
images	Add 'website/' from commit 'd208ee83f80467e25c662b4680ed2d6161d88d9e'	2024-10-07 11:53:11 +02:00
layouts	Add 'website/' from commit 'd208ee83f80467e25c662b4680ed2d6161d88d9e'	2024-10-07 11:53:11 +02:00
npins	PoC: build site from nix files	2024-11-13 15:47:12 +01:00
presentation	stricter type for articles	2024-11-13 15:47:12 +01:00
structure	implement correct-by-construction relative links	2024-11-13 15:47:12 +01:00
.gitignore	PoC: build site from nix files	2024-11-13 15:47:12 +01:00
default.nix	extract presentation module	2024-11-13 15:47:12 +01:00
lib.nix	implement correct-by-construction relative links	2024-11-13 15:47:12 +01:00
shell.nix	PoC: build site from nix files	2024-11-13 15:47:12 +01:00