Skip to content

formal-land/coq-bonsai

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

coq-bonsai

🌳 Generate a random bonsai in your terminal

screenshot

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.

About

🌳 Generate a fresh bonsai in your terminal

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages