lean-ja/lean-by-example

reverse は foldl で書くことができる

Opened this issue · 0 comments

Seasawher commented

蓄積を使う良い例