lean-ja/lean-by-example

`Parser` 型を紹介する

Opened this issue · 0 comments

Seasawher commented
`Parser` 型を紹介する