Skip to content

Draft: Resolve "Add `Sigma` and `Exists` type"

belazyrequested to merge
62-add-sigma-type into main

Closes #60 Closes #62

Edited by belazy

Merge request reports