In this language log article, I find that I can't help but think that "glee" is an intrinsically funny-sounding word. Glee glee glee! Also its italian relative (well, not to imply that it's related, but...) "Gli" I enjoy the sound of. Palatalized ell FTW.
During class this morning I noticed based on Frank's comments that the standard LLF implementation of miniml with references only fixes one of the two obvious problems with the "toplevel" that arise from the referencey bits: the predicate close only apparently closes up with respect to extra ref cells floating around in the context, not with respect to the return value referring to parameters. In fact, since the first-order structure that's returned has those parameters in it, I don't even see how computation finishes... I'll have to think about it more.
In my continued determined skimming straight through TWF, I found the diagram herein that unifies platonic solids, all the dihedral and cyclic groups, and tesselations of the euclidean a hyberbolic plans, a tremendously beautiful and surprising thing.