New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prop の非可述性を説明する #577

Merged

Seasawher merged 2 commits into main from Seasawher/issue542

Aug 5, 2024

Member

Seasawher commented Aug 5, 2024

resolve #542 , #572

Seasawher added 2 commits

August 5, 2024 10:56


          Bool と Prop はどう異なるか resolve #572

a52274e


          Prop が非可述的であることを説明する resolve #542

4a4b7a6

Seasawher linked an issue

that may be closed by this pull request

Bool と Prop はどう異なるか #572

Closed

Seasawher merged commit eb94d51 into main

5 checks passed

Seasawher deleted the Seasawher/issue542 branch

August 5, 2024 04:44

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet