typed macros?

[Raoul Duke]

can macros be type checked perhaps?

[nha...@gmail.com]

Yeah, just code the macro transform in a normal function and call that from a def macro wrapper. You’ll have to define the type theory for your output terms and possibly some verified types for identifying and validating input.