Skip to content

Add syntax sugar for nested sigma-types #196

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #196

Annotations

1 error

Build and test with GHC (macos-latest)

cancelled Apr 19, 2024 in 2m 44s