Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Author: Michael Norrish <Michael.Norrish@...>
Date: 2012-05-08 (Tue, 08 May 2012)
Some halting thoughts about deriving f.o. term recursion.
I now suspect this approach is wrong though.