What it does
It can infer question types from the DSL's type-level definitions.
SDKs & clients
A Haskell DSL for defining typed Jev question packets and matching answers to their labels.
Only you can see your notes.
Screenshot unavailable. Open the experiment ↗
It can infer question types from the DSL's type-level definitions.
For a tool that finds parts of a document, ask a developer to adapt this project's line-finding example. Your app offers AI a list of lines to choose from, plus a 'not here' option. That gives it a way to report a missing passage instead of always picking a line.
The developer can make the app stop when the AI is unsure and show why it stopped. Try the idea with passages you already know how to find. Misleading text can still make the AI pick the wrong line. The author describes the tool as an early experiment whose design is still changing.