remove functors #3

Open
hannes wants to merge 2 commits from defunctorise into main

2 commits

Author SHA1 Message Date
d925ddea82 formatting 2025-02-17 11:24:30 +01:00
6e2cf9cecc remove functors 2025-02-10 15:03:30 +01:00