Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Commit the typechecker as an actual lambda #275

Open
arthurpaulino opened this issue Mar 29, 2023 · 0 comments
Open

Commit the typechecker as an actual lambda #275

arthurpaulino opened this issue Mar 29, 2023 · 0 comments
Labels
enhancement New feature or request infra

Comments

@arthurpaulino
Copy link
Member

As of now, we're committing the typechecker as a datum and calling eval on it in Lurk.

We'll probably have a faster typechecker in Lurk if we commit the direct lambda expression.
@arthurpaulino arthurpaulino added enhancement New feature or request infra labels Mar 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request infra
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@arthurpaulino