This is pretty cool. A small complaint about the post itself is that it does not explain what Squiggle is so I had to look around in your website to understand why this Squiggle language that I have never heard of is used.
Fair point! I should have more prominently linked to that. There’s some previous posts about it on LessWrong and the EA Forum explaining it in more detail. https://www.lesswrong.com/tag/squigglehttps://forum.effectivealtruism.org/topics/squiggle
This is pretty cool. A small complaint about the post itself is that it does not explain what Squiggle is so I had to look around in your website to understand why this Squiggle language that I have never heard of is used.
Fair point! I should have more prominently linked to that.
There’s some previous posts about it on LessWrong and the EA Forum explaining it in more detail.
https://www.lesswrong.com/tag/squiggle
https://forum.effectivealtruism.org/topics/squiggle