call-cc-krivine. A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.

github.com/thamugadi/call-cc-krivine

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.