Skip to content

fix handling of context items; work on stdlib

Lennard Gäher requested to merge lennard/fix-context-items into main

Include context assumptions in more parts of generated code. Also syncs up more stdlib things.

Merge request reports

Loading