search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
11 stars 2 forks source link

Add `merge` function for `Map` #132

Closed heueristik closed 4 weeks ago

heueristik commented 1 month ago

Add a merge function that combines two Map objects.