Adelfa Examples

The following examples are distributed with Adelfa.

First Order

• Properties of lists
• Every natural number is either even or odd
• Existence of an identity element for addition
• Less than or equal to is monotonic over addition
• Map distributes over append

λ-calculi

• Subject Reduction for the simply typed λ-calculus
• Uniqueness of typing for the simply typed λ-calculus

Logic

• Admissibility of cut for a simple intuitionistic sequent calculus

Programming Languages

• A solution to problem 1a of the POPLMark challenge