This is the umbrella directory for Pugofer. It contains

• the sources for the executable pug including install instructions
• techreports
• editor modes (currently emacs)

The Name

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

Acknowledgements

Mark Jones original creation of gofer is the starting point for this work and is gratefully acknowledged