The example on your webpage has a typo

[WeihangGuo]

a, b, c = constants("a b c", types=["type_1"])
There should be no []

[haz]

Weird...the readme has it right.

@marcofavorito / @francescofuggitti : what's the process to redeploy the docs? I think it was covered by the Actions, but it looks like that isn't the case.

[francescofuggitti]

If I remember well, the process to re-deploy the docs is:

1. checkout to the gh-pages branch
2. run mkdocs gh-deploy

I also thought the Actions covered it. We need to add it. There is a specific Action deploy-mkdocs that we can use.

[haz]

Should it replace this action?