G is a small (WIP) functional programming language based on
graph reduction. It is heavily inspired by Clean and its ABC
machine. It will have Hindley-Milner type inference and
hopefully type classes.