This repository has been archived by the owner on Nov 6, 2018. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
haskell-implementations/gofer
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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 0
No packages published