dx authored 1 year ago and q3k committed 1 year ago

Required a bunch of renaming from ctx.Ctx to ctx.Context (its real name)

Makes the docs actually show docstrings

Also apparently mypy doesn't like "from typing_extensions import
Protocol" and the fact that it didn't complain so far means that we're
probably not type checking everything.

Stupidly large diff, I got carried away.

This makes the simulator one step closer to be usable: we now have
petal input and an actually fast UI/renderer.

This implements a basic Python simulator for the badge. It currently
can't do much other than just displaying the main selection screen, as
it implements no inputs.