GitHub repository: FreeProving/haskell-src-transformations
Primary language: Haskell
Description: Transforms Haskell sources with definitions using pattern matching to case-expressions