As per our Roadmap, Stage 2 is all about uncertainty. As of such, I would like to attempt to compile Pedant to Squiggle, and improve Squiggle so that it can run pedant programs. There is a lot to go with this implementation, but it mainly includes resolving quantified-uncertainty/squiggle#2 and quantified-uncertainty/squiggle#1.
As per our Roadmap, Stage 2 is all about uncertainty. As of such, I would like to attempt to compile Pedant to Squiggle, and improve Squiggle so that it can run pedant programs. There is a lot to go with this implementation, but it mainly includes resolving quantified-uncertainty/squiggle#2 and quantified-uncertainty/squiggle#1.