anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-07 16:22:14 +03:00
Code Issues Projects Releases Wiki Activity
2094e5daea
juvix/docs/org/examples
History
Łukasz Czajka b95abeaada
Restructure the documentation and add a tutorial (#1718) 
* Closes #1597 
* Closes #1624 
* Closes #1633 

The tutorial uses syntax which has not been implemented yet: it depends
on
- #1637, 
- #1716, 
- #1639,
- #1638.

The tutorial also assumes the following issues are done: 
- #1720, and
- #1701.

Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>
2023-01-19 13:28:21 +01:00
..
backend-specific remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
validity-predicates Remove unicode cons symbol (#1687) 2023-01-03 14:37:19 +01:00
README.org Restructure the documentation and add a tutorial (#1718) 2023-01-19 13:28:21 +01:00

README.org

Examples of programs written in Juvix

The following links are clickable versions of their corresponding Juvix programs. The HTML output can be generated by running juvix html --recursive FileName.juvix.

The Juvix standard library contains common functions that can be used in Juvix programs.

Example Juvix Web apps

The following links navigate to example Juvix programs running as Web apps: