Skip to content

Move builtins into environment - #8

Closed
TehMillhouse wants to merge 2 commits into
leanprover:masterfrom
TehMillhouse:env_builtins
Closed

Move builtins into environment#8
TehMillhouse wants to merge 2 commits into
leanprover:masterfrom
TehMillhouse:env_builtins

fix(library/vm): unary op dummies copy-paste error

aa1f7e9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs