Skip to content

fedosiq/lalalang

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

58 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Lalalang

This is a λ-calculus inspired language interpreter.

Inspired by Artem Pianykh video series.

Lambda-calculus basics

Types of expressions

  1. variable: x, y
  2. lambda abstraction: λx.x + x
  3. application: (λx.x + x) y

Grammar

$$ M ::= x|λx.M |M \hspace{1mm} N $$

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages