Skip to content

Syntax and validation for descriptor casts - #105

Open
tlively wants to merge 3 commits into
ref-get-descfrom
cast-desc-eq-spec
Open

Syntax and validation for descriptor casts#105
tlively wants to merge 3 commits into
ref-get-descfrom
cast-desc-eq-spec

use exactness vars and update tests

90248f3
Select commit
Loading
Failed to load commit list.