Coq

The foregoing posting appeared on Joe Clark’s personal Weblog on 2007.11.23 16:05. This presentation was designed for printing and omits components that make sense only onscreen. (If you are seeing this on a screen, then the page stylesheet was not loaded or not loaded properly.) The permanent link is:
https://blog.fawny.org/2007/11/23/slushee-coq/