Conversation
Never really got into telescopes - see them around but never got a decent explanation! Any pointers on where to start?
I've only seen them in 's thesis (Agda) and Richard Eisenberg's thesis.
cse.chalmers.se/~ulfn/papers/t
cis.upenn.edu/~sweirich/pape