Map #40

Merged Shinji merged 2 commits into nitta-lab:master from nitta-lab:map on 17 May 2022
n-nitta commented on 17 May 2022

Map型の導入と型推論のバグ修正等もろもろを行いました.

Shinji referenced the pull request on 17 May 2022

Map

Shinji merged commit 9a30af6 into master from map on 17 May 2022
Shinji closed this pull request on 17 May 2022
Labels

Priority
No priority
Milestone
No milestone
Assignee
No one
2 participants