mathlib3
feat(data/{list/alist,finmap}): implicit key type
#662
Merged

feat(data/{list/alist,finmap}): implicit key type #662

johoelzl merged 4 commits into master from alist-finmap-implicit-alpha
spl
spl feat(data/{list/alist,finmap}): implicit key type
49b7bb53
cipher1024 cipher1024 assigned cipher1024 cipher1024 7 years ago
cipher1024 cipher1024 unassigned cipher1024 cipher1024 7 years ago
cipher1024 cipher1024 assigned cipher1024 cipher1024 7 years ago
cipher1024 cipher1024 assigned digama0 digama0 7 years ago
digama0
digama0 requested changes on 2019-02-01
cipher1024
cipher1024 commented on 2019-02-02
digama0
cipher1024
cipher1024
cipher1024
cipher1024 requested changes on 2019-02-02
spl
spl Merge branch 'upstream' into alist-finmap-implicit-alpha
b6748f34
spl doc(data/list/alist): alist is stored as a linked list
7b4ead20
digama0
digama0 approved these changes on 2019-02-04
cipher1024
cipher1024
cipher1024 approved these changes on 2019-02-04
cipher1024 Merge branch 'master' into alist-finmap-implicit-alpha
fa32efeb
johoelzl johoelzl merged 8a1de249 into master 7 years ago
johoelzl johoelzl deleted the alist-finmap-implicit-alpha branch 7 years ago
johoelzl
cipher1024

Login to write a write a comment.

Login via GitHub

Assignees
Labels
Milestone