3 results
Assorted concrete container types
Core data structures and operations
An implementation of propositional logic in Haskell