14 Commits

Author	SHA1	Message	Date
Smaug123	2517e03143	Shrink nixpkgs	2024-03-13 15:59:12 +00:00
Smaug123	ce38f6ba39	Tromso	2024-03-13 15:56:24 +00:00
Smaug123	11853da860	Bump flake	2024-01-01 23:45:15 +00:00
Smaug123	fe90bc0405	Update dep	2023-12-28 21:25:35 +00:00
Smaug123	b35c219d0e	Bump flake	2023-12-02 11:01:36 +00:00
Smaug123	d459266f21	Add property-based tests talk	2023-10-01 22:16:28 +01:00
Smaug123	9b71477f59	Add flake check	2023-10-01 16:55:13 +01:00
Smaug123	2ffff26dcb	It's actually git	2023-10-01 13:24:56 +01:00
Smaug123	e4127066af	Fix	2023-10-01 13:01:38 +01:00
Smaug123	dd3713f40e	Hermetic	2023-10-01 10:35:01 +01:00
Smaug123	1f3e107106	Import Hugo	2023-09-30 18:34:20 +01:00
Smaug123	85d784d889	Update content	2023-09-30 17:42:49 +01:00
Smaug123	86b13c725b	Move entirely off submodules	2023-09-30 10:58:18 +01:00
Smaug123	a1072f203d	Initial commit of new flow	2023-09-10 21:21:51 +01:00