18 Commits

Author	SHA1	Message	Date
Tom Sydney Kerckhove	a7488a3303	update horizon	2024-10-13 01:00:01 +02:00
Tom Sydney Kerckhove	55eba25037	fix the nix type of Word	2024-08-20 23:13:47 +02:00
Tom Sydney Kerckhove	b435803c33	Integer codec	2024-07-26 08:57:47 +02:00
Tom Sydney Kerckhove	f2c0551cdb	autodocodec-nix	2024-07-21 19:18:00 +02:00
Tom Sydney Kerckhove	f6785bf583	First version of autodocodec-nix	2024-07-19 19:49:29 +02:00
Tom Sydney Kerckhove	755ad0bf56	simplify shell	2024-06-23 16:49:34 +02:00
Tom Sydney Kerckhove	f5174c1b3a	Ready for release	2024-06-23 16:32:26 +02:00
Tom Sydney Kerckhove	a818df53b0	Nicer number bounds	2024-06-15 22:59:08 +02:00
Tom Sydney Kerckhove	ef4a7cc685	Upgrade to nixos-24.05 and lts-22.22	2024-06-03 07:17:39 +02:00
Tom Sydney Kerckhove	f0b76ac6e8	Upgrade to check against ghc 9.10	2024-05-30 08:43:51 +02:00
Tom Sydney Kerckhove	958a1c51fb	Upgrade to lts-21.22 and nixos-23.11	2023-12-04 08:12:10 +01:00
Tom Sydney Kerckhove	e7f4ec8d1d	activate cachix	2023-11-20 16:52:16 +01:00
Tom Sydney Kerckhove	ffd2a3fcb2	forward compatibility	2023-10-09 22:52:26 +02:00
Tom Sydney Kerckhove	04ba46041e	trying forward compatibility	2023-10-04 15:48:29 +02:00
Tom Sydney Kerckhove	4bf9e6d465	Upgrade to lts 20.23 and nixos 23.05	2023-06-01 17:07:23 +02:00
Tom Sydney Kerckhove	fa4d53e6c7	reenable builds for nixos-21.11	2023-03-11 16:21:07 +01:00
Tom Sydney Kerckhove	d0e8318628	Upgrade deps again	2023-02-13 09:08:39 +01:00
Tom Sydney Kerckhove	b49e3f4201	Nix flake	2022-11-30 14:33:11 +01:00