Runtime

This page coming soon.

• Why the runtime is needed, what it does

• How it interacts with the host machine

• How it interacts with Pallas/PLAN

• Why it's currently implemented in Haskell

• Future directions for the runtime