You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The juvix markdown command should recursively generate markdown files for the whole project, analogously to how this is done for HTML generation. Even without parallelism, this would speed up markdown generation significantly, bringing the generation time down to acceptable levels. The main time-waster is the repeated loading/compiling of the standard library, which would happen only once with recursive generation.
The text was updated successfully, but these errors were encountered:
The
juvix markdown
command should recursively generate markdown files for the whole project, analogously to how this is done for HTML generation. Even without parallelism, this would speed up markdown generation significantly, bringing the generation time down to acceptable levels. The main time-waster is the repeated loading/compiling of the standard library, which would happen only once with recursive generation.The text was updated successfully, but these errors were encountered: