Programming Languages and Compiler Construction Group
- 3 followers
- Kiel, Germany
- https://www.ps.informatik.uni-kiel.de/en
Popular repositories
Repositories
Showing 10 of 10 repositories
-
- inversion-plugin Public
- ml-ghc-language-plugin Public
- curry-ghc-language-plugin Public
- ghc-language-plugin Public
- curry-monad Public
- icfpcontest2020 Public
- haskell-src-transformation Public
Transforms Haskell sources with definitions using pattern matching to case-expressions