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.

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

Asterius integration #1634

Closed
1 of 7 tasks
ylecornec opened this issue Nov 19, 2021 · 2 comments
Closed
1 of 7 tasks

Asterius integration #1634

ylecornec opened this issue Nov 19, 2021 · 2 comments

Comments

@ylecornec
Copy link
Member

ylecornec commented Nov 19, 2021

Now that the initial support for asterius is merged, here is an issue to track things that are not working yet.

@avdv
Copy link
Member

avdv commented Sep 23, 2024

Closing, since asterius is deprecated and we don't plan to work on it further.

@avdv avdv closed this as completed Sep 23, 2024
@avdv
Copy link
Member

avdv commented Sep 23, 2024

See #2249 which tracks work to replace Asterius with GHC WASM.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants