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

Literate Disco #339

Open
byorgey opened this issue Mar 5, 2022 · 2 comments
Open

Literate Disco #339

byorgey opened this issue Mar 5, 2022 · 2 comments
Labels
C-Project A larger project that may take multiple days. S-Moderate Moderate importance U-Pretty Printing Z-Documentation Z-Pedagogy

Comments

@byorgey
Copy link
Member

byorgey commented Mar 5, 2022

There should be a way to create .disco files with documentation and markup that can be automatically rendered to Markdown and/or LaTeX.

@byorgey byorgey added C-Project A larger project that may take multiple days. Z-Documentation U-Pretty Printing S-Nice to have Minor importance labels Mar 5, 2022
@byorgey
Copy link
Member Author

byorgey commented Apr 28, 2022

Related: #327 . The two issues have slightly different emphases, although the implementations will have a lot of overlap. This issue is focused on being able to turn an arbitrary Disco file into a nicely typeset document (as might be used e.g. for an assignment); #327 focuses on being able to generate nicely formatted documentation for a module.

@byorgey byorgey added S-Moderate Moderate importance and removed S-Nice to have Minor importance labels Sep 30, 2023
@byorgey
Copy link
Member Author

byorgey commented Sep 16, 2024

Also related: #81 .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-Project A larger project that may take multiple days. S-Moderate Moderate importance U-Pretty Printing Z-Documentation Z-Pedagogy
Projects
None yet
Development

No branches or pull requests

1 participant