devwithjev
reading now views
Submit a build

Typed Haskell DSL for Jev Judgments

jev-dsl is an agent-first Haskell DSL for TypeSafe's Jev judgment model, with typed packets, inferred types, and answers under the same labels.

inanna-malick@inanna-malick
Agent-first Haskell DSL for TypeSafe's Jev judgment model: typed packets, inferred types, answers under the same labels.
Sep 19, 2026GitHubView on GitHub

Also filed under Tools & apps