Skip to content

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

belazy requested to merge 62-add-sigma-type into main

Closes #60 Closes #62

Edited by belazy

Merge request reports