Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
obsidiansystems
Fetched on 2024/05/01 20:51
obsidiansystems
/
dependent-monoidal-map
Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict -
View it on GitHub
Star
4
Rank
2293506