History of src/Frontend.thy on 7d99400a08ffdfae7e1b35205b55350ef711c303

7d99400a08 feat(frontend): prove parsed expressions preserve lexical scope

james · 1 months ago

72b2edbe20 feat(compiler): prove exact peak stack demand

james · 2 months ago

3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner

james · 2 months ago