Adapt to #2417 and update to standard library traits - Githubissues

anoma / juvix-containers

Immutable container types for Juvix

1 stars 3 forks source link

Adapt to #2417 and update to standard library traits #7

Closed lukaszcz closed 1 year ago

lukaszcz commented 1 year ago

Adapt to https://github.com/anoma/juvix/pull/2417
Update to https://github.com/anoma/juvix-stdlib/pull/86

Can be merged after merging #2417 in Juvix.