Skip to content
Lint Code Base

[ elab ] Make %macro-function be callable without the ElabReflection extension #5297

Sign in to view logs

[ elab ] Make %macro-function be callable without the ElabReflection extension

[ elab ] Make %macro-function be callable without the ElabReflection extension #5297

The logs for this run have expired and are no longer available.