search

anoma / juvix-stdlib

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

`Partial` trait #85

Closed lukaszcz closed 1 year ago

lukaszcz commented 1 year ago
paulcadman commented 1 year ago

Now we have released 0.5.2 I will fix quickcheck so the tests will pass