This piggy backs off the load-form in serapeum to derive equality
I thought this would fix the issue @rokopt had, but it turns out it was just an unevaluated form error, however this change should be good if we ever care to compare equality of the stlc terms themselves
This piggy backs off the load-form in serapeum to derive equality
I thought this would fix the issue @rokopt had, but it turns out it was just an unevaluated form error, however this change should be good if we ever care to compare equality of the stlc terms themselves