jb55/verse-calculus-haskell

The verse calculus vibe coded in Haskell

Verse Calculus

This demo was vibe-coded with o3 via the Verse calculus paper

Demo

$ gchi

ghci> printExpr demo
∃x. ∃y. ∃z. x = ⟨y, 3⟩ ; x = ⟨2, z⟩ ; y

ghci> mapM_ prettyEval $ parseExpr "x. y. z. x = (y, z); x = (z, 2); z"
{ x = ⟨y, 3⟩, y = 2, z = 3 }
↳ 2