Li-yao Xia pushed to project branch master at Li-yao Xia / rocq-planet

Li-yao Xia
2024-10-05T17:08:58Z

Li-yao Xia (f23b307b) at 05 Oct 17:08

Catch exception in case Planet Haskell gets fixed

... and 1 more commit