Gofer (programming language)

Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on version 1.2 of the Haskell report. It was replaced by Hugs.

Its syntax is closer to the earlier commercial language Miranda than the subsequently standardized Haskell. It lacks some of features of Haskell (such as the deriving clause in data type definitions) but includes a number of features which were not adopted by Haskell (such as generalizing the list comprehension syntax to support any Monad).