IO.FS.lines のバグ - Githubissues

lean-ja / lean-by-example

コード例で学ぶ Lean 言語

https://lean-ja.github.io/lean-by-example/

MIT License

39 stars 7 forks source link

IO.FS.lines のバグ #368

Closed Seasawher closed 3 months ago

Seasawher commented 3 months ago

Zulip: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/possible.20bug.20in.20IO.2EFS.2Elines/near/446389792