Skip to content

gabriel-fallen/krivine-extended

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

krivine-extended

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

About

An implementation of extended Krivine machine.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published