3 results
Core data structures and operations
Monad classes for transformers, using functional dependencies
Haskell programming interface to Yices SMT solver