search

anoma / juvix-stdlib

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

Use multiway if in the standard library #98

Closed lukaszcz closed 4 months ago

lukaszcz commented 4 months ago