feat: error if purity of functions is not specified#768
Merged
lars-reimann merged 8 commits intomainfrom purity-modelNov 13, 2023
+644-305
Commits
Commits on Nov 13, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
