GitHub repository: symtegration/ihaskell
Primary language: Haskell
Description: IHaskell extension for making the use of Symtegration more seamless with IHaskell.