Giters

gabriel-fallen / krivine-extended

An implementation of extended Krivine machine.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lambda-calculushaskellcomputer-science

krivine-extended

An implementation of extended Krivine machine for call-by-name evaluation of lambda-terms.

About

An implementation of extended Krivine machine.

lambda-calculushaskellcomputer-science

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%