Anyone in my #haskell (or other, I guess) circles in charge of www.cs.nott.ac.uk ? It was working yesterday, but it keeps timing out (for me) today.
I need to re-read the section of blampied-thesis.pdf on the prefix functor, and especially how it works when the non-uniform type is self-nested in interesting ways.
Trying to do a "project :: t -> f t" and keep getting hung up on the Scope-modified recursions.
Alternatively, is that thesis available elsewhere? I searched, but haven't found.
Add comment