5 Commits

Author	SHA1	Message	Date
frero	96c395311f	ex1: theory	2025-09-04 15:46:32 +02:00
frero	1102f2cf58	ex1: solve	2025-09-04 14:57:19 +02:00
frero	81d05f8381	ex1: add nix dependencies	2025-09-04 14:57:19 +02:00
frero	869005a86d	ex1: format code	2025-09-04 14:57:19 +02:00
frero	0cc9e164c9	ex1: init ... ex1: gitignore	2025-09-04 14:57:19 +02:00