Skip to content

julianpeeters/programming-language-foundations

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

programming-language-foundations

Programming Language Foundations (Stump 2013)

Run with:

stack build && stack exec pfl-exe

Example output:

5.8.1-1a. Syntax tree of: (λx.(λy.x y)) =
    λ
   / \
  x   λ
     / \
    y   @
       / \
      x   y

About

Programming Language Foundations (Stump 2013)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published