search

anoma / juvix-stdlib

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

Add `Applicative` trait #115

Closed janmasrovira closed 3 months ago

janmasrovira commented 4 months ago
paulcadman commented 4 months ago

Can we merge this after the following PRs?

Otherwise we'd have to do another round of updating the juvix-stldib ref in main of juvix and rebasing.