Writing a toy synthesizer in Rust.
This is so cool! I saw gifs of the code generation in Idris recently and it looked fantastic. Super cool to see this type of experiments in Rust too!
Would you be able to provide a link to those?
Took me a while to dig this up, but here it is: https://twitter.com/edwinbrady/status/1050528305743622147