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

Document installation from Hackage #76

Closed
deemp opened this issue Feb 1, 2024 · 1 comment
Closed

Document installation from Hackage #76

deemp opened this issue Feb 1, 2024 · 1 comment
Assignees
@deemp
Labels
(readme) Related to README.md
Milestone
[S3] Structural i...

Comments

@deemp
Copy link
Member

deemp commented Feb 1, 2024 •
edited
Loading

Depends on #2

In the README

  • document how to install from Hackage using stack
This was referenced Feb 14, 2024
Closed
Merged
@deemp
Copy link
Member Author

deemp commented Feb 15, 2024

Closed by #124

@deemp deemp closed this as completed Feb 15, 2024
@deemp deemp moved this to In progress in Normalizer & proof Feb 20, 2024
@deemp deemp moved this from In progress to Done in Normalizer & proof Feb 20, 2024
@deemp deemp added the (readme) Related to README.md label May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@deemp deemp

Labels
(readme) Related to README.md
Projects
None yet
Milestone
[S3] Structural improvements for norm...
Development

No branches or pull requests
2 participants
@fizruk @deemp