sml-typed-abts icon indicating copy to clipboard operation
sml-typed-abts copied to clipboard

Published 20 hours ago • verified publisher icon RedPRL

rename SORT signature :(

Open jonsterling opened this issue 9 years ago • 0 comments

Sadly, the SORT signature is part of cmlib, so it's kind of inconvenient if we use it here. ~~I think a better option would be to just collapse the whole arity apparatus into a single signature.~~

jonsterling avatar Jan 06 '16 03:01 jonsterling