inanna-malick · SDK & Decision Frameworks
一个早期 Haskell DSL，用表达式描述带标签的 Jev 问题，生成请求并解析对应答案。
用类型推导与标签处理器把 Choice 答案接到事先定义的程序分支。
将问题、返回类型与分支代码放在同一套可检查定义中。
README 标明 early alpha 且接口仍在变化；类型保证不等于判断事实正确，库本身不负责联网。