jonsterling/JonPRL

computational effects

Opened this issue · 0 comments

jonsterling commented

we should add some computational effects to the computation system. Some ideas are:

  1. dynamic symbol generation
  2. exceptions
  3. kripke's schema