On April 17, 2020, my first contribution to
Dune has been merged
On April 2, 2020, I started using the rewriting of
cleopatrato build this website.
On April 1, 2020, my first contribution ever to
Coq has been merged
On February 23, 2020,
cleopatrahas been completely bootstrapped, in that it generates itself!
On February 15, 2020, I have tagged and
lavenderless-theme-0.2. Learn more.