Post #2729247

Phew. Found a cat-sitter. Laundry is going. Didn't manage to get a guix box up and running (laundry and cat care took precedence), so at this point it's probably sanest to take the macbook with the working Coq environment on it to DeepSpec rather than trying to learn the ropes of Yet Another Unix while also trying to keep up with a summer school. So many boxen, so little time.