ohnosequences / contextsLinks

Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`
19Updated 7 years ago

Alternatives and similar repositories for contexts

Users that are interested in contexts are comparing it to the libraries listed below

Sorting: