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

誤訳修正 #45

Merged
merged 6 commits into from
Jan 4, 2025
Merged

誤訳修正 #45

merged 6 commits into from
Jan 4, 2025

Conversation

s-taiga
Copy link
Contributor

@s-taiga s-taiga commented Jan 4, 2025

No description provided.

@s-taiga s-taiga marked this pull request as ready for review January 4, 2025 06:38
@s-taiga s-taiga merged commit f6c1a82 into main Jan 4, 2025
6 checks passed
@s-taiga s-taiga deleted the fix/v3/0104 branch January 4, 2025 06:39
s-taiga added a commit that referenced this pull request Jan 4, 2025
* 誤訳修正

* 誤字修正

* clauseの訳語を「節」→「句」に変更

* 添字族→添字付けられた型の族

* 非可述性・可述性

* predicative, impredicative対応
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant