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

Published 20 hours ago • verified publisher icon RedPRL

AST >-> ABT: compatibility with purely functional SYMBOL implementation

Open jonsterling opened this issue 9 years ago • 0 comments

Currently, SYMBOL.named is used; we need to use SYMBOL.fresh ctx instead.

jonsterling avatar May 09 '16 01:05 jonsterling