2 ms·wrt your first paragraph there, I urge you to take a look at Idris. That's the exact workflow.by currymj 9y agowrt your first paragraph there, I urge you to take a look at Idris. That's the exact workflow.