4 ms·
That video doesn't appear to available to everyone. It says "Sorry Because of its privacy settings, this video cannot be played here." Not sure if it's becau
by lomnakkus 12y ago
That video doesn't appear to available to everyone. It says
"Sorry
Because of its privacy settings, this video cannot be played here."
Not sure if it's because of country/IP restrictions or what.
- tel 12y agoI thought Ollie had a blog post about this stuff somewhere, but I can't find it now. He does other things which involve fairly advanced GADT work, though https://ocharles.org.uk/blog/posts/2014-06-10-reversible-serialization.html https://ocharles.org.uk/blog/posts/2014-06-10-reversible-ser...