Code

10.3章 arrays-termination#81

Code

Merged

s-taiga merged 3 commits intomainlean-ja/fp-lean-ja:mainfrom 10.3-arrays-terminationlean-ja/fp-lean-ja:10.3-arrays-terminationCopy head branch name to clipboardSep 1, 2024

+263-1

Commits

Commits on Aug 31, 2024

• 翻訳開始

  s-taiga

  committed
  76e397a

Commits on Sep 1, 2024

• 翻訳完了

  s-taiga

  committed
  a99aa37

• 訳注追記

  s-taiga

  committed
  815280f