Squeteague

Since this program was mentioned in another thread, I thought I might as well seek some opinion on it, as I've been curious about it for a while. Does anyone have any experience with this program, either directly or indirectly? Is their quality of education comparable to top phil/CS/math master's programs in the US? I'm mostly interested in the intersection between their math and computation tracks. E.g. lambda calculus, functional specification of algorithms, etc.