5 Commits

Author	SHA1	Message	Date
Kees van Kempen	2ac0253aab	06: Remove debug prints, use @ operators	2022-10-18 18:03:46 +02:00
Kees van Kempen	016e85530d	06: 1b works ugh	2022-10-18 17:48:59 +02:00
Kees van Kempen	379a9eb27a	06: This proof sucks	2022-10-18 17:06:07 +02:00
Kees van Kempen	6c18275280	06: Draft ugh	2022-10-18 16:42:21 +02:00
Kees van Kempen	2f612190d4	06: Fetch week 6	2022-10-13 10:51:48 +02:00