This is the umbrella directory for Pugofer. It contains
- the sources for the executable
pugincluding install instructions - techreports
- editor modes (currently emacs)
- Pugofer = Platonic Universe that’s GOod for Equational Reasoning
- The ideas, philosophy, methodology, habits, culture that we believe should be the foundation of good programming education
- Pug = Platonic Universe for Geeks
- The executable that’s its most standard interface.
More on the recent history at the blog posts : Pugofer-Pug, A Fairy Tale and a Bridge
Older writings at on FP may also be of interest
Mark Jones original creation of gofer is the starting point for this work and is gratefully acknowledged