Skip to content

Add syntax sugar for nested sigma-types #201

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #201

Annotations

1 error

Build and test with GHC (ubuntu-latest)

cancelled May 2, 2024 in 24s