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

Add agda2hs library to data-files + add command to print location of the library #370

Closed
jespercockx opened this issue Sep 26, 2024 · 0 comments · Fixed by #372
Closed

Add agda2hs library to data-files + add command to print location of the library #370

jespercockx opened this issue Sep 26, 2024 · 0 comments · Fixed by #372
Labels
enhancement New feature or request prelude
Milestone
1.3

Comments

@jespercockx
Copy link
Member

As suggested by @HeinrichApfelmus in #366 (comment) and #366 (comment)
@jespercockx jespercockx added enhancement New feature or request prelude labels Sep 26, 2024
@jespercockx jespercockx added this to the 1.3 milestone Sep 26, 2024
flupe added a commit to flupe/agda2hs that referenced this issue Oct 1, 2024
@flupe
[ fix agda#370 ] add locate command, data-files in cabal config
6f3ad80
@flupe flupe linked a pull request Oct 1, 2024 that will close this issue
[ fix #370 ] add locate command, data-files in cabal config #372
Merged
flupe added a commit to flupe/agda2hs that referenced this issue Oct 1, 2024
@flupe
[ fix agda#370 ] add locate command, data-files in cabal config
ab3bd6a
jespercockx pushed a commit that referenced this issue Oct 1, 2024
@flupe @jespercockx
[ fix #370 ] add locate command, data-files in cabal config
0c087ab
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 prelude
Projects
None yet
Milestone
1.3
Development

Successfully merging a pull request may close this issue.

[ fix #370 ] add locate command, data-files in cabal config flupe/agda2hs
1 participant
@jespercockx