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

Generalize the REPL #533

Closed
3 tasks done
arthurpaulino opened this issue Jul 15, 2023 · 2 comments · Fixed by #1119
Closed
3 tasks done

Generalize the REPL #533

arthurpaulino opened this issue Jul 15, 2023 · 2 comments · Fixed by #1119
Labels
DX-DevEx Developer Experience track enhancement New feature or request

Comments

@arthurpaulino
Copy link
Contributor

arthurpaulino commented Jul 15, 2023 •
edited
Loading

@arthurpaulino arthurpaulino added enhancement New feature or request DX-DevEx Developer Experience track labels Jul 15, 2023
@arthurpaulino arthurpaulino mentioned this issue Jul 15, 2023
Closed
@huitseeker huitseeker mentioned this issue Jul 21, 2023
Merged
@huitseeker
Copy link
Contributor

@arthurpaulino the LEM proofs are now generic on their field type => closing this.

@arthurpaulino
Copy link
Contributor Author

This issue was more about the full REPL support. Sorry if it wasn't clear enough.

@arthurpaulino arthurpaulino reopened this Dec 21, 2023
@arthurpaulino arthurpaulino changed the title Support more backends (and their fields) Generalize the REPL Dec 21, 2023
@arthurpaulino arthurpaulino mentioned this issue Jan 4, 2024
Merged
@huitseeker huitseeker mentioned this issue Jan 4, 2024
Closed
@arthurpaulino arthurpaulino mentioned this issue Jan 5, 2024
Merged
@arthurpaulino arthurpaulino mentioned this issue Feb 12, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
DX-DevEx Developer Experience track enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: NIVC support for the REPL lurk-lab/lurk-beta
2 participants
@huitseeker @arthurpaulino