Skip to content

Evaluate compiler-produced pure Edict programs - #726

Open
flyingrobots wants to merge 2 commits into
feature/edict-pure-program-providerfrom
feature/edict-pure-evaluation
Open

Evaluate compiler-produced pure Edict programs#726
flyingrobots wants to merge 2 commits into
feature/edict-pure-program-providerfrom
feature/edict-pure-evaluation

feat: evaluate pinned Edict pure programs with bounded runtime semantics

8c725d6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar