ohnosequences / contextsView on GitHub
Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`
19Aug 29, 2017Updated 8 years ago

Alternatives and similar repositories for contexts

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

Sorting:

Are these results useful?