You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
DynSemContext has a static field set to the language currently. This prevents multiple languages to be running at the same time. We should make the DynSemContext parametric on the language. If there is a mutual dependency between the two we should add the Language to the context later.
The text was updated successfully, but these errors were encountered:
DynSemContext
has a static field set to the language currently. This prevents multiple languages to be running at the same time. We should make theDynSemContext
parametric on the language. If there is a mutual dependency between the two we should add theLanguage
to the context later.The text was updated successfully, but these errors were encountered: