dreamtt icon indicating copy to clipboard operation
dreamtt copied to clipboard

Published 20 hours ago • verified publisher icon jonsterling

Add term builder & splicer interface

Open jonsterling opened this issue 3 years ago • 0 comments

  • https://github.com/RedPRL/cooltt/blob/master/src/core/TermBuilder.mli
  • https://github.com/RedPRL/cooltt/blob/master/src/core/Splice.mli

jonsterling avatar Apr 05 '21 13:04 jonsterling