Skip to content
Idris2

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

Sign in to view logs

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

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

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