thamugadi/call-cc-krivine

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

语言：Haskell · GitHub 星标：14 · Fork：1

话题：call-cc · haskell · krivine-machine · lambda-calculus

在 GitHub 上查看原仓库