This demo was vibe-coded with o3 via the Verse calculus paper
$ 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-
Notifications
You must be signed in to change notification settings - Fork 0
jb55/verse-calculus-haskell
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
The verse calculus vibe coded in Haskell
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published