5 Commits

Author	SHA1	Message	Date
Łukasz Czajka	43d114f9b1	Adapt Juvix programs to the new pipeline (#1746) ... Progress for #1742 * Remove putStr and putStrLn * Remove named Nats (one, two, ...)	2023-01-23 14:57:01 +01:00
Ł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
janmasrovira	803d2008d9	remove ≔ from the language and replace it by := (#1563) ... * remove ≔ from the language and replace it by := * revert accidental changes in juvix input mode * update stdlib submodule * rename ℕ by Nat in the tests and examples * fix shell tests	2022-09-30 10:55:32 +10:00
Jonathan Cubides	9543b06cf5	Add HelloWorld example and minor other fixes README	2022-08-08 12:13:27 +02:00
Paul Cadman	cff01943f4	Add fibonacci sequence example program (#1375)	2022-07-14 17:03:44 +01:00