On 12/04/18 01:59, Mario Xerxes Castelán Castro wrote:
  for explicit lazy beta
conversions (with an internal explicit substitution calculus)

I assume this refers to Clos, mk_clos etc in src/0/Term.sml

My questions is: is this actually used? I can't see where anything in the source code creates a Clos where there isn't already one existing.

This would be odd, so I guess I've overlooked it somewhere - but where?


Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
hol-info mailing list

Reply via email to