ryanglscott / decidable Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mstksg/decidable
Combinators for manipulating dependently-typed predicates.
Home Page: https://hackage.haskell.org/package/decidable
License: BSD 3-Clause "New" or "Revised" License