This repository was archived by the owner on Jun 14, 2022. It is now read-only.

Merged

Fix state constructor for obscure specification #26

no latex in MD on github 😞

Workflow runs completed with no jobs