Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
purescript-contrib
Fetched on 2024/05/01 06:38
purescript-contrib
/
purescript-these
Data type isomorphic to α ∨ β ∨ (α ∧ β) -
View it on GitHub
Star
14
Rank
970462