Quotes
-
refine you bastard
– while plugging a goal in Cubical Agda
this is bullshit there is no hcomp up here
– angrily staring at a whiteboard, standing on a chair
Man, I Love Filling Cubes
– after successfully filling a cube in Cubical Agda
refine you bastard
– while plugging a goal in Cubical Agda
this is bullshit there is no hcomp up here
– angrily staring at a whiteboard, standing on a chair
Man, I Love Filling Cubes
– after successfully filling a cube in Cubical Agda