Currently functions and macros are printed very opaquely.
Printing a function yields <#procedure> and printing a macro yields <#macro>.
Ideally these prints would include more info, e.g. printing the plus function yields <#procedure +: (int * int) -> int> or something similar.
Currently functions and macros are printed very opaquely.
Printing a function yields
<#procedure>and printing a macro yields<#macro>.Ideally these prints would include more info, e.g. printing the plus function yields
<#procedure +: (int * int) -> int>or something similar.