Skip to content

Update typing rules

Daniël Louwrink requested to merge daniel/update_typing_rules into master

This updates most (all?) of the typing rules such that they modify the context where applicable. In addition, mutex is now a separate "library", which also uses context mutation.

Merge request reports