search

lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）
https://lean-ja.github.io/fp-lean-ja/
Other
8 stars 2 forks source link

誤訳 #11

Closed Seasawher closed 9 months ago

Seasawher commented 10 months ago

String.dropRightWhile は IO アクションではなく，通常の文字列関数であるため，:= ではなく ← を使用しています．

↑ 逆になってませんか？