Skip to content

Conversation

@J0s3c4rl0s
Copy link
Contributor

The documentation in introduction.md has instructions for installing using cabal, where the second line says to use the command

agda2hs locate >> ~/.agda/libaries

The word libraries is misspelled which for new users could be pretty annoying subtle bug to catch after the fact.

@jespercockx jespercockx merged commit 302239f into agda:master Feb 21, 2025
7 checks passed
@jespercockx
Copy link
Member

Thank you!

@jespercockx jespercockx added this to the 1.4 milestone Sep 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants