Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
obsidiansystems
Fetched on 2025/03/16 04:59
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
5
Rank
2161359