For many years I had assumed (based on some comments in forums) that the
watch unix command had a bug, and could not display colourised terminal output, even when using the
-c colour option.
This made me sad.
Recently I’ve been writing tests in py.test, which colourises the ...more ...
I’m not sure what I think about this.
>>> Σ = sum >>> Σ([1,2,3]) 6
ACL2 !> (thm (=(+ a b) (+ b a))) Q.E.D. Summary Form: ( THM ...) Rules: ((:DEFINITION =) (:EXECUTABLE-COUNTERPART TAU-SYSTEM)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) Prover steps counted: 10 Proof succeeded.