Skip to content
This repository was archived by the owner on Oct 9, 2025. It is now read-only.

Unbound variable check when internalising module - #548

Draft
goodlyrottenapple wants to merge 1 commit into
mainfrom
sam/add-module-unbound-variable-check
Draft

Unbound variable check when internalising module#548
goodlyrottenapple wants to merge 1 commit into
mainfrom
sam/add-module-unbound-variable-check

Check whether all existential variables are quantified when internali…

47a4209
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs