issues
search
anoma
/
juvix-stdlib
The Juvix standard library
https://anoma.github.io/juvix-stdlib/
11
stars
2
forks
source link
Deriving Ord
#149
Open
janmasrovira
opened
1 week ago