Lightning Talk Slot #5: More recursive equations
summary
Claims a pure safe API for recursive sets that admits cyclic recursive equations and computes transitive closure without explicit loops. Implements sets by wrapping mutable cells and a solver, using unsafePerformIO under the hood to register relations lazily so definitions can refer to themselves. Shows examples: acyclic and cyclic graphs, plus boolean and set combinators; works on the demos but relies on monotone-only operations and a separate solver library (mentions diesel phone) and blog posts.
AI-written summary · about