Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
This repository was archived by the owner on Nov 6, 2018. It is now read-only.

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: 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

AltStyle によって変換されたページ (->オリジナル) /