This pull request includes changes from Paolo and Joachim for the 2024 release.
I have not yet checked whether it compiles correctly or looks good. Please check that it looks good before merging; please check if anything looks wrong or if there is anything you would like to change.
After merging, this should be the template for the 2024 issue of Compositionality.
This pull request includes changes from Paolo and Joachim for the 2024 release.
I have not yet checked whether it compiles correctly or looks good. Please check that it looks good before merging; please check if anything looks wrong or if there is anything you would like to change.
After merging, this should be the template for the 2024 issue of Compositionality.