Skip to content

doc: fix typo in example for using local variables in elab_rules - #920

Open
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:typo-elab
Open

doc: fix typo in example for using local variables in elab_rules#920
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:typo-elab

doc: fix typo in example for using local variables in elab_rules

1919386
Select commit
Loading
Failed to load commit list.
Sign in for the full log view