Add syntax sugar for nested sigma-types #183
Merged
fizruk merged 8 commits intorzk-lang:developfrom geffk2:syntax-sugar-sigma-typesMay 2, 2024
+116-2
Commits
Commits on Apr 19, 2024
- committed
- committed
- committed
- committed
Commits on Apr 26, 2024
- committed