Giters

obsidiansystems / dependent-monoidal-map

Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

containersdependent-maphaskellmonoidal

This repository is not active

About

Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict

containersdependent-maphaskellmonoidal

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 98.2%Language:Nix 1.8%