max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: test

Browse source
This commit is contained in:
Leonardo de Moura 2020-01-20 18:53:54 -08:00
parent 129442a76a
commit c89972b6e2
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/lean/run/macro2.lean
View file

@ -21,4 +21,6 @@ macro_rules
#check <| ~2 |>
#check <| ~~2 |>
#check <| <| 3 |> |>