Generating Mutually Recursive Definitions [pdf]okmij.org27 points·sctb··1 commentOpen articleSaveView on HN