algebra-checkers icon indicating copy to clipboard operation
algebra-checkers copied to clipboard

Published 20 hours ago • verified publisher icon isovector

Modeler attempts to model every type signature

Open isovector opened this issue 4 years ago • 0 comments

It should only emit type sigs that have a corresponding mu binding

isovector avatar May 14 '20 18:05 isovector