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

Easier Installation Story #5

Open

solomon-b opened this issue Mar 6, 2023 · 1 comment

Labels

Blocker

Milestone

Make Repo Public

Collaborator

solomon-b commented Mar 6, 2023

No description provided.

solomon-b added the Blocker label

solomon-b added this to the Make Repo Public milestone

Collaborator Author

solomon-b commented Jun 1, 2023

What kind of user experience do we want here? I can imagine a few options:

A shell script ala nix or ghcup
A snap package ala coq
A static binary
A binary installer ala coq

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