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

Change set command to link libraries file etc #177

Open

wenkokke opened this issue Mar 14, 2023 · 0 comments

Labels

agdaup

Milestone

Owner

wenkokke commented Mar 14, 2023

Each Agda installation should have its own libraries and executables files. These should be linked by set.

wenkokke added the agdaup label

wenkokke mentioned this issue

Change install command to create empty libraries file etc #178

Open

wenkokke changed the title ~~Change set command to link libraries files~~ Change set command to link libraries etc files

wenkokke changed the title ~~Change set command to link libraries etc files~~ Change set command to link libraries file etc

wenkokke added this to the agdaup milestone

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