I would strongly suggest you read this classic paper “programming as theory building” https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~remzi

I would strongly suggest you read this classic paper “programming as theory building” https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~remzi/Naur.pdf