From 287b8e8db856883a8559b5c5340cce500e747931 Mon Sep 17 00:00:00 2001 From: daanx Date: Thu, 30 May 2024 18:30:41 -0700 Subject: [PATCH] update news/new release --- doc/book.html | 521 ++++++++++++++++--------------- doc/index.html | 155 ++++----- doc/std_core-source.html | 134 ++++---- doc/std_core_bool-source.html | 44 +-- doc/std_core_bool.html | 36 +-- doc/std_core_char-source.html | 74 ++--- doc/std_core_char.html | 48 +-- doc/std_core_console-source.html | 14 +- doc/std_core_debug-source.html | 16 +- doc/std_core_delayed-source.html | 48 +-- doc/std_core_delayed.html | 6 +- doc/std_core_either-source.html | 24 +- doc/std_core_either.html | 20 +- doc/std_core_exn-source.html | 70 ++--- doc/std_core_exn.html | 46 +-- doc/std_core_hnd-source.html | 382 +++++++++++----------- doc/std_core_hnd.html | 38 +-- doc/std_core_int-source.html | 142 ++++----- doc/std_core_int.html | 152 ++++----- doc/std_core_list-source.html | 511 +++++++++++++++--------------- doc/std_core_list.html | 8 +- doc/std_core_maybe-source.html | 92 +++--- doc/std_core_maybe.html | 42 +-- doc/std_core_order-source.html | 10 +- doc/std_core_order.html | 2 +- doc/std_core_sslice-source.html | 32 +- doc/std_core_tuple-source.html | 48 +-- doc/std_core_tuple.html | 20 +- doc/std_core_types-source.html | 168 +++++----- doc/std_core_types.html | 122 ++++---- doc/std_core_undiv-source.html | 10 +- doc/std_core_undiv.html | 8 +- doc/std_core_unsafe-source.html | 12 +- doc/std_core_unsafe.html | 18 +- doc/std_core_vector-source.html | 120 +++---- doc/std_core_vector.html | 36 +-- doc/std_num_ddouble-source.html | 34 +- doc/std_num_ddouble.html | 40 +-- doc/std_num_float64-source.html | 22 +- doc/std_num_float64.html | 24 +- doc/std_num_int32-source.html | 125 +++++--- doc/std_num_int32.html | 94 ++++-- doc/std_num_int64-source.html | 144 ++++++--- doc/std_num_int64.html | 95 ++++-- doc/std_num_random-source.html | 28 +- doc/std_num_random.html | 2 +- doc/std_os_env.html | 2 +- doc/std_os_flags-source.html | 54 ++-- doc/std_os_path.html | 2 +- doc/std_os_task-source.html | 36 +-- doc/std_text_parse-source.html | 120 +++---- doc/std_text_parse.html | 12 +- doc/std_text_regex-source.html | 16 +- doc/std_text_regex.html | 2 +- doc/std_text_unicode.html | 2 +- doc/std_time_astro.html | 36 +-- doc/std_time_calendar.html | 14 +- doc/std_time_calendars.html | 12 +- doc/std_time_chrono.html | 2 +- doc/std_time_date.html | 2 +- doc/std_time_duration.html | 2 +- doc/std_time_format.html | 6 +- doc/std_time_instant.html | 20 +- doc/std_time_time.html | 6 +- doc/std_time_timer-source.html | 18 +- doc/std_time_timestamp.html | 4 +- doc/std_time_utc-source.html | 6 +- doc/std_time_utc.html | 54 ++-- doc/styles/madoko.css | 11 - doc/toc.html | 2 +- 70 files changed, 2208 insertions(+), 2070 deletions(-) diff --git a/doc/book.html b/doc/book.html index a8a5f1cef..fab2537cb 100644 --- a/doc/book.html +++ b/doc/book.html @@ -211,15 +211,6 @@ .madoko .pretty td.expander { width: 100em; } - .madoko span.math-rendering { - display:inline-block; - width:8em; - overflow-x:auto; - font-size:70%; - } - .madoko span.math-rendering::-webkit-scrollbar { - width:4px; - } body.madoko, .madoko .serif { font-family: Cambria,"Times New Roman","Liberation Serif","Times",serif; } @@ -1213,12 +1204,12 @@
The Koka Programming Language
-
(Daan Leijen, 2024-03-09)
+
(Daan Leijen, 2024-05-30)
-

koka-logo +

koka-logo

Why Koka?

@@ -1335,7 +1336,7 @@
+Read more about these core concepts

Install