Skip to content

Add additional representations: Parigot's (1992) lambda-mu calculus #13

@joshrule

Description

@joshrule

In the same way that the crate currently has lambda calculus, TRSs, and PCFGs, it would be cool to explore learning in some other representations, including Parigot's (1992) lambda-mu calculus.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions