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


Form:  ( THM ...)
Rules: ((:DEFINITION =)
Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
Prover steps counted:  10

Proof succeeded.
more ...