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

Initialize project repo #3

Closed
3 tasks done
uhbif19 opened this issue Sep 26, 2023 · 4 comments
Closed
3 tasks done

Initialize project repo #3

uhbif19 opened this issue Sep 26, 2023 · 4 comments
Labels
documentation Improvements or additions to documentation infra
Milestone
M1: basic API and...

Comments

@uhbif19
Copy link
Contributor

uhbif19 commented Sep 26, 2023 •
edited
Loading

TODO:

  • Create README
  • Create cabal project
  • Add GH project and bots
@uhbif19 uhbif19 added documentation Improvements or additions to documentation infra labels Sep 26, 2023
@uhbif19 uhbif19 added this to the M1: basic API and research milestone Sep 26, 2023
@uhbif19 uhbif19 mentioned this issue Sep 26, 2023
Closed
3 tasks
@uhbif19 uhbif19 closed this as completed in a3465aa Nov 3, 2023
uhbif19 added a commit that referenced this issue Nov 3, 2023
@uhbif19
Add README stub and PDD bot config. Closes #3
8e8c0ae
This was referenced Nov 3, 2023
Closed
Closed
@0pdd
Copy link
Collaborator

0pdd commented Nov 3, 2023

@uhbif19 2 puzzles #6, #7 are still not solved.

uhbif19 added a commit that referenced this issue Nov 3, 2023
@uhbif19
Add README stub and PDD bot config. Closes #3
f4b1033
uhbif19 added a commit that referenced this issue Nov 3, 2023
@uhbif19
Add README stub and PDD bot config. Closes #3
c7a0dab
@0pdd 0pdd mentioned this issue Nov 3, 2023
Closed
@0pdd
Copy link
Collaborator

0pdd commented Nov 3, 2023

@uhbif19 2 puzzles #6, #8 are still not solved; solved: #7.

@0pdd 0pdd mentioned this issue Dec 4, 2023
Closed
@0pdd
Copy link
Collaborator

0pdd commented Dec 4, 2023

@uhbif19 3 puzzles #6, #8, #9 are still not solved; solved: #7.

This was referenced Feb 28, 2024
Open
Open
Open
Open
Closed
@0pdd
Copy link
Collaborator

0pdd commented Feb 28, 2024

@uhbif19 8 puzzles #17, #18, #19, #20, #21, #6, #8, #9 are still not solved; solved: #7.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation infra
Projects
None yet
Milestone
M1: basic API and research
Development

No branches or pull requests
2 participants
@uhbif19 @0pdd