Skip to content
This repository has been archived by the owner on Nov 6, 2018. It is now read-only.

Good for equational reasoning - Haskell 1.2 implementation

Notifications You must be signed in to change notification settings

haskell-implementations/gofer

Repository files navigation

    +--------------------------------------------------------------------+
    |                                                                    |
    | This is the Readme file for Gofer version 2.30:  Please read the   |
    | documentation supplied in src/Readme before compiling this version |
    | of Gofer on your machine and consult the documentation in the docs |
    | directory before using the system.                                 |
    |                                                                    |
    | If you would like to keep upto date with future developments,      |
    | bugfixes and enhancements to Gofer and have not already contacted  |
    | me, please send mail to me and I will add your name to the         |
    | mailing list.                                                      |
    |                                                                    |
    |      ANY COMMENTS **GRATEFULLY** RECEIVED !!!!  THANKS !!!!        |
    |                                                                    |
    | Enjoy!            Until mid-July 1994:  [email protected]     |
    | Mark              From  Sept/Oct 1994:  [email protected]          |
    +--------------------------------------------------------------------+

About

Good for equational reasoning - Haskell 1.2 implementation

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages