mstksg / decidable

Combinators for manipulating dependently-typed predicates.

https://hackage.haskell.org/package/decidable

mstksg/decidable Stargazers

Daniel Kahlenberg
573
Amar
amarpotghan
David Johnson
dmjio
Allan Lukwago
epicallan
Evgeny Poberezkin
epoberezkin
Sandra Dylus
ichistmeinname
Joomy Korkut
joom
Langston Barrett
langston-barrett
Daniel Mendler
minad
Peter Storm
peterstorm
quewean
Orestis Ousoultzoglou
xlxs4

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.