Skip to content

Documentation of λ-calculus #731

Open
Open
Documentation of λ-calculus#731
Assignees
gebner
@jvierling

Description

@jvierling
jvierling
opened on Jan 23, 2019

The user manual should contain a section describing the concrete syntax of the λ-calculus.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions