coq-bonsai

🌳 Generate a random bonsai in your terminal

Inspired by bonsai.sh. Written in Coq.

Add the Coq's opam repository:

opam repo add coq-released https://coq.inria.fr/opam/released

Install:

opam install coq-bonsai

Run:

coq-bonsai

You can add it to your terminal's startup file (like ~/.bashrc) so that you always start your terminal sessions with a fresh bonsai.