search

disco-lang / disco

Functional teaching language for use in a discrete mathematics course
Other
164 stars 23 forks source link

Literate Disco #339

Open byorgey opened 2 years ago

byorgey commented 2 years ago

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

byorgey commented 2 years ago

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 commented 2 months ago

Also related: #81 .