Login
Roast topics
Find topics
Find it!
From:
Hackage
(Uncensored)
subscribe
decidable: Combinators for manipulating dependently-typed predicates.
https://hackage.haskell.org/package/decidable
links
backlinks
Roast topics
Find topics
Roast it!
Combinators for manipulating dependently-typed predicates.
