Colourising Watch

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 ...



ACL2 Is Fascinating

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.
more ...