So, @vsbogd asked me to PR my current Metta code. Here I'm trying to convert scheme-based SICP book's examples and exercises to Metta code. Hopefully these will be helpful for those who wants to learn Metta. Chapter_1_3 is not finished yet so I'll update PR in the future and make it not draft after this.
Chapter_1_3 takes some time to go through all asserts.
And there is also a problem I've pointed out with fixed-point function.
So, @vsbogd asked me to PR my current Metta code. Here I'm trying to convert scheme-based SICP book's examples and exercises to Metta code. Hopefully these will be helpful for those who wants to learn Metta. Chapter_1_3 is not finished yet so I'll update PR in the future and make it not draft after this. Chapter_1_3 takes some time to go through all asserts.
And there is also a problem I've pointed out with fixed-point function.