Pre-alpha Idris 2 semantic kernel and reference scheduler for normalizing typed action sequences under an at-most-once policy, with tested but non-production service scaffolding.
scheduler theorem-proving proof-assistant type-theory formal-methods software-verification formal-verification normalization computational-logic json-protocol idempotency idris2 program-semantics semantic-kernel at-most-once verified-software action-calculus scheduler-semantics action-sequences typed-semantics
-
Updated
Oct 1, 2026 - Idris