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:
- Totalitarian: typesafe data structures for working with total functions☆49Updated 6 years ago
- Forget your methods☆41Updated 7 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆54Updated 10 years ago
- Example code from my presentation on shapeless type class derivation☆28Updated 9 years ago
- Array-based immutable collections for scala