lean-ja/lean-by-example

`declaration` というパーサがある

Opened this issue · 1 comments

Seasawher commented

def や axiom や example など、類似の構文を持つコマンドをまとめるパーサのようだ。

#check Lean.Parser.Command.declaration
Seasawher commented

暗黙引数とかの構文もこいつらに対して共通に定義されている気がする