Expressive named type relations

Artifacts using Prepositional Core (13)
Sort by:Popular▼

Minimal typeclass definitions for seamless integration without hard dependencies for Scala
Last Release on Jul 7, 2026
soundness-all
Last Release on Jul 7, 2026
Minimal typeclass definitions for seamless integration without hard dependencies for Scala
Last Release on Jul 7, 2026
soundness-all
Last Release on Jul 7, 2026
soundness-all
Last Release on Jul 7, 2026
Collections raised to the type-level in Scala
Last Release on Jul 7, 2026
A general mechanism to implement overloaded symbolic operators
Last Release on Jul 7, 2026
soundness-all
Last Release on Jul 7, 2026
soundness-all
Last Release on Jul 7, 2026
soundness-all
Last Release on Jul 7, 2026