search

anoma / juvix-stdlib

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

Boolean Helpers #143

Open mariari opened 3 weeks ago

mariari commented 3 weeks ago

So far we add the boolean xor operator

Should this have a corresponding infix function?