Skip to content

Add syntax sugar for nested sigma-types #197

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #197

Annotations

1 error and 1 warning

Build and test with GHC (ubuntu-latest)

failed Apr 19, 2024 in 2m 31s