Jendrik Stelzner (b01844fc) at 23 Feb 12:17
Change from ghostty back to kitty.
... and 1 more commit
Jendrik Stelzner (da2ced8e) at 20 Feb 16:56
Update files.
Jendrik Stelzner (ae9143bf) at 31 Dec 19:26
Add files for hyprstuff and waybar.
... and 7 more commits
Jendrik Stelzner (9db70c65) at 18 Sep 20:27
Adjust the solution to Robotswana, Levels 9 and 10.
... and 1 more commit
Jendrik Stelzner (2fc4bac1) at 17 Aug 12:43
Simplified some consequtive folds.
... and 5 more commits
Jendrik Stelzner (32f32507) at 17 Aug 12:18
Make some haves into one-liners.
Jendrik Stelzner (732ec279) at 16 Aug 04:08
Remove unnecessary indentation.
Jendrik Stelzner (3900231e) at 13 Aug 09:32
Change file extension from txt to lean.
Jendrik Stelzner (e2faa0b5) at 13 Aug 09:31
Change file extension from txt to lean.
Jendrik Stelzner (dd42001f) at 13 Aug 09:30
Change file extension from txt to lean.
Jendrik Stelzner (d6ec2b88) at 13 Aug 09:29
Change file extension from txt to lean.
Jendrik Stelzner (ba2990c1) at 13 Aug 08:27
Add a solution to DSL Knights and Knaves, Level 13/13.
... and 46 more commits
Jendrik Stelzner (ac6d8566) at 12 Aug 21:22
Add indentation and misc. tiny changes.
Jendrik Stelzner (18a52203) at 12 Aug 10:25
Add indentation and misc. tiny changes.
Jendrik Stelzner (7d9d2d43) at 12 Aug 06:08
Consistent indentation, some misc. improvements.
... and 158 more commits