Skip to content
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