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 assigned

2 participants