Skip to content

Commit 804ee8d

Browse files
Rob23obaRob23oba
committed
injection!
1 parent 7ce9abd commit 804ee8d

2 files changed

Lines changed: 25 additions & 1 deletion

File tree

‎stage0/stdlib/Lean/Compiler/LCNF/EmitC.c‎

Lines changed: 15 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c‎

Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)