From 600166884ea4d685750d79ff6e46027a5a2d1668 Mon Sep 17 00:00:00 2001 From: Scott Richmond Date: Sat, 15 Jun 2024 22:51:19 -0400 Subject: [PATCH] include link to prelude --- src/doc.janet | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/doc.janet b/src/doc.janet index 92729e9..afb73e3 100644 --- a/src/doc.janet +++ b/src/doc.janet @@ -78,6 +78,8 @@ e.g., running `doc! (add)` will send the documentation for `add` to the console. For more information on the syntax & semantics of the Ludus language, see [language.md](./language.md). +The prelude itself is just a Ludus file, which you can see at [prelude.ld](./prelude.ld). + ## A few notes **Naming conventions.** Functions whose name ends with a question mark, e.g., `eq?`, return booleans. Functions whose name ends with an exclamation point, e.g., `make!`, change state in some way. @@ -92,8 +94,7 @@ This should be enough to indicate order of arguments, types, and so on. **Patterns often, but do not always, indicate types.** Typed patterns are written as `foo as :bar`, where the type is indicated by the keyword. Possible ludus types are: `:nil`, `:boolean`, `:number`, `:keyword` (atomic values); -`:string` (strings are their own beast); `:tuple` and `:list` (indexed collections); `:set` (sets are specific), -`:dict` and `:ns` (associative collections); and `:ref` (references). +`:string` (strings are their own beast); `:tuple` and `:list` (ordered collections), `:set`s, and `:dict`ionaries (the other collection types); `:pkg` (packages, which are quasi-collections); `:fn` (functions); and `:box`es. **Conventional types.** Ludus has two types based on conventions. * _Result tuples._ Results are a way of modeling the result of a calculation that might fail.