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

Published 20 hours ago • verified publisher icon RedPRL

rename to sml-syntax?

Open jonsterling opened this issue 9 years ago • 0 comments

Or, sml-nominal-algebra or sml-nominal-syntax?

jonsterling avatar May 03 '16 21:05 jonsterling