8 results
Support library for Template Haskell
Deep evaluation of data structures
Core data structures and operations
Haskell 98 phantom types to avoid unsafely passing dummy arguments
A type inhabited by finitely many values, indexed by type-level naturals
Automatic testing of Haskell programs