The documentation here: https://thehottgameguide.readthedocs.io/en/latest/getting-started/about-hott-game.html#installing-agda-and-the-cubical-agda-library says that you require v0.3 of the cubical standard library but actually the latest version of this repo requires v0.9?
The documentation here: https://thehottgameguide.readthedocs.io/en/latest/getting-started/about-hott-game.html#installing-agda-and-the-cubical-agda-library says that you require v0.3 of the cubical standard library but actually the latest version of this repo requires v0.9?