Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
interpreter.cpp		interpreter.cpp
interpreter.hpp		interpreter.hpp
test.cpp		test.cpp

README.md

Simply Typed Lamda Calculus

Syntax

Terms

t ::=
    x
    l x:T. t
    t t
    true
    false
    if t then t else t

Values

v ::=
    x
    l x:T. t
    true
    false

Types

T ::=
    Bool
    T -> T

Contexts

Γ ::=
    Φ
    Γ, x:T

Typing Rules

TODO

Evaluation Rules

TODO