On Saturday, 9 November 2019 at 21:11:14 UTC, Doc Andrew wrote: > A DIP without some sort of prototype tooling, even if > primitive, is going to be pretty toothless, IMO. A fun way to get started might be to create your own verified mini-language and compile it to D code and use that as a proof-of-concept.