Index - G
getDeclarationArity | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
getDeclarationName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
free-theorems-0.3.2.0: Automatic generation of free theorems.