Skip to content

Add syntax sugar for nested sigma-types #198

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #198

Annotations

2 warnings

Build and test with GHC (ubuntu-latest)

succeeded Apr 19, 2024 in 3m 9s