search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

@@opaque not understood #32

Closed ewenmaclean closed 4 years ago

ewenmaclean commented 4 years ago

minimal repro forthcoming