Examples of programs written in Juvix¶
The following links are clickable versions of their corresponding Juvix program. The sources can be found in the examples/milestone directory in the Juvix repository. The webpages can be generated by running the following command:
juvix html --recursive FileName.juvix