Skip to content
This repository was 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

Folders and files

NameName
Last commit message
Last commit date

Latest commit

f474369 · Nov 6, 2018

History

2 Commits
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018
Nov 6, 2018

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:  jones-mark@cs.yale.edu     |
    | Mark              From  Sept/Oct 1994:  mpj@cs.nott.ac.uk          |
    +--------------------------------------------------------------------+

About

Good for equational reasoning - Haskell 1.2 implementation

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages