Uses of Package
godel

Classes in godel used by godel

Godel3.Funinfo
Holds information about Haskell function

Godel3.IdList
List of identifiers

Godel3.TExpr
Holds an encoded representation of an expression