Code

10.2章 tail-recursion-proofs#80

Code

Merged

s-taiga merged 3 commits intomainlean-ja/fp-lean-ja:mainfrom 10.2-tail-recursion-proofslean-ja/fp-lean-ja:10.2-tail-recursion-proofsCopy head branch name to clipboardAug 31, 2024

+242-1

Commits

Commits on Aug 26, 2024

• 翻訳開始

  s-taiga

  committed
  92c043c

Commits on Aug 31, 2024

• 翻訳完了

  s-taiga

  committed
  7f92de8

• セルフレビュー

  s-taiga

  committed
  6212aea