@theruran @a_breakin_glass @chjara and no, that package is *just* a typechecker/stratification checker (simple validation step that replaces complicated termination checking by instead using a combination of affine types and explicit copies)and a few runtimes- simple beta reduction (used for typechecking)- CPU-side interaction nets- GPU-side interaction netsactual long-running operation will be through Capretta's delay monad compose with capability-ish effect monads