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.

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

Should add Well-Understood paper to front page description #3360

Closed
JacquesCarette opened this issue Apr 27, 2023 · 8 comments
Closed

Should add Well-Understood paper to front page description #3360

JacquesCarette opened this issue Apr 27, 2023 · 8 comments
Assignees
Labels
documentation Documentation of Drasil itself - how to install, how to use, build system etc. newcomers Good first issue to work on!

Comments

@JacquesCarette
Copy link
Owner

Right now the main thing we link to is the old position paper.

@JacquesCarette JacquesCarette self-assigned this Apr 27, 2023
@balacij balacij added documentation Documentation of Drasil itself - how to install, how to use, build system etc. newcomers Good first issue to work on! labels May 4, 2023
@daijingz
Copy link
Contributor

daijingz commented Jan 1, 2024

@JacquesCarette Dr.Carette, can you provide more information?

@JacquesCarette
Copy link
Owner Author

Reason it out. If you look around, you'll find that paper, and you'll also find how the old position paper is referenced on the front page.

@daijingz
Copy link
Contributor

@smiths I am still confused about which paper it is, because there are lots of publications inside the folder.

@smiths
Copy link
Collaborator

smiths commented Jan 19, 2024

@daijingz you might not be looking in the right folder. You should be able to find the correct paper in the Papers folder.

@daijingz
Copy link
Contributor

@JacquesCarette @smiths Dr.Carette and Dr.Smith, I guess this is what you designed to do: You want to add a link referring to the original Well Understood Paper. Additionally, If you mean adding some descriptions, then I feel it is unnecessary because there are existing words saying about it.

Inside your requirements, the "old position paper" is the published essay "Generated Software for Well-Understood Domains".
And the front page is "The GitHub front page of Drasil" -> the README file. (Since I did not see any occurrences or mentioning of it elsewhere)

I just used the original way to add the link through the front page.

@balacij
Copy link
Collaborator

balacij commented Jan 22, 2024

@daijingz Yes, that's the desired outcome. You do not need to explain the contents of the paper in the front page description, as you note.

The "old position paper" is not the "Generating Software for Well-Understood Domains" paper, it is the ICSE paper, and that is already linked in the README.md file. The "Generating Software for Well-Understood Domains" paper is the paper this issue refers to, which needs to be linked from the front page description.

You can add a link to it to the README.md (perhaps hyperlinked at the first reference to well-understood in the README.md file, or otherwise) and/or the front page of the website (which might involve editing a bit of Haskell code).

@daijingz
Copy link
Contributor

@daijingz Yes, that's the desired outcome. You do not need to explain the contents of the paper in the front page description, as you note.
The "old position paper" is not the "Generating Software for Well-Understood Domains" paper, it is the ICSE paper, and that is already linked in the README.md file. The "Generating Software for Well-Understood Domains" paper is the paper this issue refers to, which needs to be linked from the front page description.
You can add a link to it to the README.md (perhaps hyperlinked at the first reference to well-understood in the README.md file, or otherwise) and/or the front page of the website (which might involve editing a bit of Haskell code).

Sorry for my confusion. I just saw the old position paper link before, but I forgot to change my mis-understanding.

@balacij
Copy link
Collaborator

balacij commented Jul 22, 2024

Closed in #3860

@balacij balacij closed this as completed Jul 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Documentation of Drasil itself - how to install, how to use, build system etc. newcomers Good first issue to work on!
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants