Skip to content

Merge branch 'spectec.match' into spectec.let

dbbf5d8
Select commit
Loading
Failed to load commit list.
Open

[spectec] Formalise binding semantics for let premises (WIP) #2109

Merge branch 'spectec.match' into spectec.let
dbbf5d8
Select commit
Loading
Failed to load commit list.

There are no checks for this commit