[ctas]

You use Lisp to write C (on Microcontrollers)? Would appreciate more info on that.

[slowandcurious]

You could consider this. https://ferret-lang.org/

[cjbprime]

Not the OP, but as I understand it NASA's JPL has been doing this for decades for space missions.

[williamDafoe]

That a horrific mistake that MIT nitwhits used to teach students at the end of 6.001 - how to write opaque, horrible lisp programs in languages such as "C".