Skip to content
This repository was archived by the owner on Jan 5, 2025. It is now read-only.

Activity

Showing most recent first

Deleted branch

s-taigadeleted fix/1214 • 
on Dec 14, 2024

誤字修正 (#93)

Pull request merge
s-taigapushed 1 commit to main • b51113e…725c4a5 • 
on Dec 14, 2024

訳注追記

s-taigapushed 1 commit to fix/1214 • 40cc41f…cd7aeb7 • 
on Dec 14, 2024

目についた誤字修正

s-taigacreated fix/1214 • 40cc41f • 
on Dec 14, 2024

Deleted branch

imamuraydeleted 2.4-summary-fix • 
on Dec 14, 2024

Merge pull request #92 from lean-ja/2.4-summary-fix

Pull request merge
imamuraypushed 2 commits to main • ae80125…b51113e • 
on Dec 14, 2024

2.4章の目次修正

imamuraycreated 2.4-summary-fix • 63a69e6 • 
on Dec 14, 2024

Deleted branch

imamuraydeleted 2.4-cat • 
on Dec 14, 2024

Merge pull request #43 from lean-ja/2.4-cat

Pull request merge
imamuraypushed 5 commits to main • 7ae261d…ae80125 • 
on Dec 14, 2024

2.4 最後まで和訳

imamuraypushed 1 commit to 2.4-cat • 12e3cf1…767491a • 
on Dec 14, 2024

Deleted branch

s-taigadeleted 2.5-conveniences • 
on Sep 14, 2024

2.5章 conveniences (#89)

Pull request merge
s-taigapushed 1 commit to main • 29373c9…7ae261d • 
on Sep 14, 2024

誤訳修正

s-taigapushed 1 commit to 2.5-conveniences • f159515…938f9fb • 
on Sep 14, 2024

翻訳完了

s-taigapushed 1 commit to 2.5-conveniences • c97741f…f159515 • 
on Sep 14, 2024

Deleted branch

s-taigadeleted feature/fix_typo_0914 • 
on Sep 14, 2024

タイポ修正 (#90)

Pull request merge
s-taigapushed 1 commit to main • 45d1ece…29373c9 • 
on Sep 14, 2024

タイポ修正

s-taigacreated feature/fix_typo_0914 • 8654270 • 
on Sep 14, 2024

翻訳開始

s-taigacreated 2.5-conveniences • c97741f • 
on Sep 10, 2024

Deleted branch

s-taigadeleted 2.6-summary • 
on Sep 10, 2024

2.6章 summary (#88)

Pull request merge
s-taigapushed 1 commit to main • 06d7d86…45d1ece • 
on Sep 10, 2024

セルフチェック

s-taigapushed 1 commit to 2.6-summary • 7e80094…a9ebba7 • 
on Sep 10, 2024

翻訳完了

s-taigapushed 1 commit to 2.6-summary • c8ab58b…7e80094 • 
on Sep 10, 2024

翻訳開始

s-taigacreated 2.6-summary • c8ab58b • 
on Sep 9, 2024

Deleted branch

s-taigadeleted 11-next-steps • 
on Sep 9, 2024

11章 next-steps (#87)

Pull request merge
s-taigapushed 1 commit to main • 86ab0eb…06d7d86 • 
on Sep 9, 2024

footnote修正

s-taigapushed 1 commit to 11-next-steps • e5b07d2…2d6ed4e • 
on Sep 9, 2024

翻訳完了

s-taigapushed 1 commit to 11-next-steps • 4f599dc…e5b07d2 • 
on Sep 9, 2024

翻訳開始

s-taigacreated 11-next-steps • 4f599dc • 
on Sep 7, 2024

Deleted branch

s-taigadeleted 10.8-summary • 
on Sep 7, 2024

10.8章 summary (#86)

Pull request merge
s-taigapushed 1 commit to main • c6036cb…86ab0eb • 
on Sep 7, 2024