Commit 2021-11-30 14:22 2906363d
View on Github →feat: no-operation simps attribute, to avoid unnecessary errors in mathport output (#106)
This is lame: not an actual port of @[simps] in all its glory, just a no-operation attribute so we have fewer errors on declarations in the output of mathport.