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

InductiveTypes翻訳#7

Merged

s-taiga merged 1 commit intomainfrom

feature/v1/InductiveTypes

Nov 9, 2024

Commits on Nov 9, 2024

InductiveTypes翻訳完了
 s-taiga
committed