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

Agda #16

Open
gdmcbain opened this issue Nov 7, 2023 · 4 comments
Open

Agda #16

gdmcbain opened this issue Nov 7, 2023 · 4 comments

Comments

@gdmcbain
Copy link
Owner

gdmcbain commented Nov 7, 2023

Based on the usual installation?
@gdmcbain
Copy link
Owner Author

gdmcbain commented Nov 7, 2023

And what we've done for Yampa #6 #7.

gdmcbain added a commit that referenced this issue Nov 7, 2023
@gdmcbain
Dockerfile #16
579b7c1
@gdmcbain
Copy link
Owner Author

gdmcbain commented Nov 7, 2023 

FROM haskell
RUN cabal update && cabal install Agda

Cabal failed.

@gdmcbain
Copy link
Owner Author

gdmcbain commented Nov 7, 2023

Maybe try using Stack.

@gdmcbain
Copy link
Owner Author

gdmcbain commented Nov 7, 2023

gdmcbain added a commit that referenced this issue Nov 7, 2023
@gdmcbain
README #16
2609620
gdmcbain added a commit that referenced this issue Nov 7, 2023
@gdmcbain
specify versions of Haskell & Agda #16
fee58aa
gdmcbain added a commit that referenced this issue Nov 7, 2023
@gdmcbain
.gitignore #16
b5c26af
gdmcbain added a commit that referenced this issue Nov 7, 2023
@gdmcbain
hello-world.agda #16
a6b7102
gdmcbain added a commit that referenced this issue Nov 7, 2023
@gdmcbain
.gitignore hello-world #16
de9296c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gdmcbain