From be42d66da702f0254b7739ba77586cd4444f1bf5 Mon Sep 17 00:00:00 2001 From: paulcadman Date: Mon, 1 Jul 2024 03:20:14 +0000 Subject: [PATCH] deploy: 89a5960fb8a29291e9271986b98ca7b1edf4031b --- Juvix.Builtin.V1.Bool-src.html | 2 +- Juvix.Builtin.V1.Fixity-src.html | 2 +- Juvix.Builtin.V1.List-src.html | 2 +- Juvix.Builtin.V1.Maybe-src.html | 2 +- Juvix.Builtin.V1.Nat-src.html | 2 +- Juvix.Builtin.V1.Nat.Base-src.html | 2 +- Juvix.Builtin.V1.String-src.html | 2 +- Juvix.Builtin.V1.Trait.Natural-src.html | 2 +- Stdlib.Cairo.Poseidon-src.html | 2 +- Stdlib.Data.Bool-src.html | 2 +- Stdlib.Data.Bool.Base-src.html | 2 +- Stdlib.Data.Field-src.html | 2 +- Stdlib.Data.Field.Base-src.html | 2 +- Stdlib.Data.Fixity-src.html | 2 +- Stdlib.Data.Int-src.html | 2 +- Stdlib.Data.Int.Base-src.html | 2 +- Stdlib.Data.Int.Ord-src.html | 2 +- Stdlib.Data.List-src.html | 2 +- Stdlib.Data.List.Base-src.html | 2 +- Stdlib.Data.Maybe-src.html | 2 +- Stdlib.Data.Maybe.Base-src.html | 2 +- Stdlib.Data.Nat-src.html | 2 +- Stdlib.Data.Nat.Base-src.html | 2 +- Stdlib.Data.Nat.Ord-src.html | 2 +- Stdlib.Data.Pair-src.html | 2 +- Stdlib.Data.Pair.Base-src.html | 2 +- Stdlib.Data.String-src.html | 2 +- Stdlib.Data.String.Base-src.html | 2 +- Stdlib.Data.String.Ord-src.html | 2 +- Stdlib.Data.Unit-src.html | 2 +- Stdlib.Debug.Fail-src.html | 2 +- Stdlib.Function-src.html | 2 +- Stdlib.Prelude-src.html | 2 +- Stdlib.System.IO-src.html | 2 +- Stdlib.System.IO.Base-src.html | 2 +- Stdlib.System.IO.Bool-src.html | 2 +- Stdlib.System.IO.Int-src.html | 2 +- Stdlib.System.IO.Nat-src.html | 2 +- Stdlib.System.IO.String-src.html | 2 +- Stdlib.Trait-src.html | 2 +- Stdlib.Trait.DivMod-src.html | 2 +- Stdlib.Trait.Eq-src.html | 2 +- Stdlib.Trait.Integral-src.html | 2 +- Stdlib.Trait.Natural-src.html | 2 +- Stdlib.Trait.Numeric-src.html | 2 +- Stdlib.Trait.Ord-src.html | 2 +- Stdlib.Trait.Partial-src.html | 2 +- Stdlib.Trait.Show-src.html | 2 +- index-src.html | 2 +- 49 files changed, 49 insertions(+), 49 deletions(-) diff --git a/Juvix.Builtin.V1.Bool-src.html b/Juvix.Builtin.V1.Bool-src.html index 78c1b043..e8408850 100644 --- a/Juvix.Builtin.V1.Bool-src.html +++ b/Juvix.Builtin.V1.Bool-src.html @@ -6,4 +6,4 @@ type Bool := | true | false; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.Fixity-src.html b/Juvix.Builtin.V1.Fixity-src.html index 6c91fc18..350d55e9 100644 --- a/Juvix.Builtin.V1.Fixity-src.html +++ b/Juvix.Builtin.V1.Fixity-src.html @@ -23,4 +23,4 @@ syntax fixity composition := binary {assoc := right; above := [multiplicative]}; syntax fixity lcomposition := binary {assoc := left; above := [multiplicative]}; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.List-src.html b/Juvix.Builtin.V1.List-src.html index 9f01f5ce..3d86a1bc 100644 --- a/Juvix.Builtin.V1.List-src.html +++ b/Juvix.Builtin.V1.List-src.html @@ -11,4 +11,4 @@ nil | --- An element followed by a list :: a (List a); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.Maybe-src.html b/Juvix.Builtin.V1.Maybe-src.html index 331567e9..3647f097 100644 --- a/Juvix.Builtin.V1.Maybe-src.html +++ b/Juvix.Builtin.V1.Maybe-src.html @@ -7,4 +7,4 @@ type Maybe A := | nothing | just A; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.Nat-src.html b/Juvix.Builtin.V1.Nat-src.html index 7cbffc31..9c314529 100644 --- a/Juvix.Builtin.V1.Nat-src.html +++ b/Juvix.Builtin.V1.Nat-src.html @@ -13,4 +13,4 @@ * := (Nat.*); fromNat (x : Nat) : Nat := x }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.Nat.Base-src.html b/Juvix.Builtin.V1.Nat.Base-src.html index 374d5bc1..caa728d1 100644 --- a/Juvix.Builtin.V1.Nat.Base-src.html +++ b/Juvix.Builtin.V1.Nat.Base-src.html @@ -46,4 +46,4 @@ --- Modulo for ;Nat;s. builtin nat-mod mod (n m : Nat) : Nat := sub n (div n m * m); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.String-src.html b/Juvix.Builtin.V1.String-src.html index ead8b1ee..0414b0cc 100644 --- a/Juvix.Builtin.V1.String-src.html +++ b/Juvix.Builtin.V1.String-src.html @@ -11,4 +11,4 @@ --- Concatenation of two ;String;s. builtin string-concat axiom ++str : String -> String -> String; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Juvix.Builtin.V1.Trait.Natural-src.html b/Juvix.Builtin.V1.Trait.Natural-src.html index 8ecd61a1..175dabbd 100644 --- a/Juvix.Builtin.V1.Trait.Natural-src.html +++ b/Juvix.Builtin.V1.Trait.Natural-src.html @@ -16,4 +16,4 @@ }; open Natural public; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Cairo.Poseidon-src.html b/Stdlib.Cairo.Poseidon-src.html index 31208ffe..c9ccf3f7 100644 --- a/Stdlib.Cairo.Poseidon-src.html +++ b/Stdlib.Cairo.Poseidon-src.html @@ -40,4 +40,4 @@ (poseidonHash acc@PoseidonState{ s0 := s0 + x1; s1 := s1 + x2 }) xs; in PoseidonState.s0 (go (mkPoseidonState 0 0 0) lst); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Bool-src.html b/Stdlib.Data.Bool-src.html index 9f3f4414..47219376 100644 --- a/Stdlib.Data.Bool-src.html +++ b/Stdlib.Data.Bool-src.html @@ -32,4 +32,4 @@ | true := "true" | false := "false" }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Bool.Base-src.html b/Stdlib.Data.Bool.Base-src.html index 0f250796..48e7244a 100644 --- a/Stdlib.Data.Bool.Base-src.html +++ b/Stdlib.Data.Bool.Base-src.html @@ -36,4 +36,4 @@ --- Logical conjunction. and (a b : Bool) : Bool := a && b; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Field-src.html b/Stdlib.Data.Field-src.html index 4a4c7912..0c338486 100644 --- a/Stdlib.Data.Field-src.html +++ b/Stdlib.Data.Field-src.html @@ -47,4 +47,4 @@ integralI := integralFieldI; / := (Field./) }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Field.Base-src.html b/Stdlib.Data.Field.Base-src.html index 2449b128..049e6b50 100644 --- a/Stdlib.Data.Field.Base-src.html +++ b/Stdlib.Data.Field.Base-src.html @@ -43,4 +43,4 @@ fromNat (n : Nat) : Field := fromInt (ofNat n); toInt (f : Field) : Int := ofNat (toNat f); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Fixity-src.html b/Stdlib.Data.Fixity-src.html index 732e1ef4..826b0056 100644 --- a/Stdlib.Data.Fixity-src.html +++ b/Stdlib.Data.Fixity-src.html @@ -2,4 +2,4 @@ 
module Stdlib.Data.Fixity;
 
 import Juvix.Builtin.V1.Fixity open public;
-
Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Int-src.html b/Stdlib.Data.Int-src.html index 246f11b0..3f05306e 100644 --- a/Stdlib.Data.Int-src.html +++ b/Stdlib.Data.Int-src.html @@ -58,4 +58,4 @@ div := Int.div; mod := Int.mod }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Int.Base-src.html b/Stdlib.Data.Int.Base-src.html index c6d7234e..5f8bdcad 100644 --- a/Stdlib.Data.Int.Base-src.html +++ b/Stdlib.Data.Int.Base-src.html @@ -92,4 +92,4 @@ abs : Int -> Nat | (ofNat n) := n | (negSuc n) := suc n; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Int.Ord-src.html b/Stdlib.Data.Int.Ord-src.html index e94e566c..a1a80216 100644 --- a/Stdlib.Data.Int.Ord-src.html +++ b/Stdlib.Data.Int.Ord-src.html @@ -59,4 +59,4 @@ --- Returns the biggest ;Int;. max (x y : Int) : Int := ite (x > y) x y; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.List-src.html b/Stdlib.Data.List-src.html index 0d3fb923..0e08ad70 100644 --- a/Stdlib.Data.List-src.html +++ b/Stdlib.Data.List-src.html @@ -50,4 +50,4 @@ | nil := "nil" | s := "(" ++str go s ++str ")" }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.List.Base-src.html b/Stdlib.Data.List.Base-src.html index c9e84f48..0aec38e9 100644 --- a/Stdlib.Data.List.Base-src.html +++ b/Stdlib.Data.List.Base-src.html @@ -218,4 +218,4 @@ | nil := nil | (xs :: nil) := map λ {x := x :: nil} xs | (xs :: xss) := zipWith (::) xs (transpose xss); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Maybe-src.html b/Stdlib.Data.Maybe-src.html index 145aa425..1f628d1e 100644 --- a/Stdlib.Data.Maybe-src.html +++ b/Stdlib.Data.Maybe-src.html @@ -36,4 +36,4 @@ | nothing (just _) := LT | (just _) nothing := GT }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Maybe.Base-src.html b/Stdlib.Data.Maybe.Base-src.html index dc2f6cd7..675b9658 100644 --- a/Stdlib.Data.Maybe.Base-src.html +++ b/Stdlib.Data.Maybe.Base-src.html @@ -15,4 +15,4 @@ maybe {A B} (b : B) (f : A → B) : Maybe A → B | nothing := b | (just a) := f a; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Nat-src.html b/Stdlib.Data.Nat-src.html index 6bb03d71..596fea6a 100644 --- a/Stdlib.Data.Nat-src.html +++ b/Stdlib.Data.Nat-src.html @@ -42,4 +42,4 @@ div := Nat.div; mod := Nat.mod }; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Nat.Base-src.html b/Stdlib.Data.Nat.Base-src.html index b9c18d62..bd3f76e1 100644 --- a/Stdlib.Data.Nat.Base-src.html +++ b/Stdlib.Data.Nat.Base-src.html @@ -2,4 +2,4 @@ 
module Stdlib.Data.Nat.Base;
 
 import Juvix.Builtin.V1.Nat.Base open public;
-
Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Nat.Ord-src.html b/Stdlib.Data.Nat.Ord-src.html index 663a4c56..2b8fd568 100644 --- a/Stdlib.Data.Nat.Ord-src.html +++ b/Stdlib.Data.Nat.Ord-src.html @@ -60,4 +60,4 @@ --- Returns the larger ;Nat;. max (x y : Nat) : Nat := ite (x > y) x y; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Pair-src.html b/Stdlib.Data.Pair-src.html index 2a9a848a..d9fee50a 100644 --- a/Stdlib.Data.Pair-src.html +++ b/Stdlib.Data.Pair-src.html @@ -29,4 +29,4 @@ | {{mkShow show-a}} {{mkShow show-b}} := mkShow λ {(a, b) := "(" ++str show-a a ++str " , " ++str show-b b ++str ")"}; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Pair.Base-src.html b/Stdlib.Data.Pair.Base-src.html index d39bbb01..c5b65e6a 100644 --- a/Stdlib.Data.Pair.Base-src.html +++ b/Stdlib.Data.Pair.Base-src.html @@ -38,4 +38,4 @@ --- Applies a function to both components. both {A B} (f : A → B) : Pair A A → Pair B B | (a, b) := f a, f b; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.String-src.html b/Stdlib.Data.String-src.html index 6700d68e..fa16d17a 100644 --- a/Stdlib.Data.String-src.html +++ b/Stdlib.Data.String-src.html @@ -16,4 +16,4 @@ let go (s : String) : String := "\"" ++str s ++str "\""; in mkShow go; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.String.Base-src.html b/Stdlib.Data.String.Base-src.html index 2ef48c6e..6b4b75b8 100644 --- a/Stdlib.Data.String.Base-src.html +++ b/Stdlib.Data.String.Base-src.html @@ -11,4 +11,4 @@ --- Joins a ;List; of ;String;s with "\n". unlines : List String -> String := intersperse "\n" >> concatStr; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.String.Ord-src.html b/Stdlib.Data.String.Ord-src.html index d45ad24b..2abff68b 100644 --- a/Stdlib.Data.String.Ord-src.html +++ b/Stdlib.Data.String.Ord-src.html @@ -10,4 +10,4 @@ --- Equality for ;String;s. builtin string-eq axiom == : String → String → Bool; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Data.Unit-src.html b/Stdlib.Data.Unit-src.html index a8dac151..8b3d5023 100644 --- a/Stdlib.Data.Unit-src.html +++ b/Stdlib.Data.Unit-src.html @@ -20,4 +20,4 @@ instance showUnitI : Show Unit := mkShow λ {unit := "unit"}; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Debug.Fail-src.html b/Stdlib.Debug.Fail-src.html index 6fd9a046..c40d2d97 100644 --- a/Stdlib.Debug.Fail-src.html +++ b/Stdlib.Debug.Fail-src.html @@ -6,4 +6,4 @@ --- Primitive that exits the program with an error message. builtin fail axiom failwith : {A : Type} → String → A; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Function-src.html b/Stdlib.Function-src.html index 43b81fb2..955852e6 100644 --- a/Stdlib.Function-src.html +++ b/Stdlib.Function-src.html @@ -55,4 +55,4 @@ builtin seq >-> : {A B : Type} → A → B → B | x y := y; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Prelude-src.html b/Stdlib.Prelude-src.html index 08318897..c2a333c6 100644 --- a/Stdlib.Prelude-src.html +++ b/Stdlib.Prelude-src.html @@ -17,4 +17,4 @@ import Stdlib.System.IO open public; import Stdlib.Trait open public; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.System.IO-src.html b/Stdlib.System.IO-src.html index ecbf7f31..4850c0db 100644 --- a/Stdlib.System.IO-src.html +++ b/Stdlib.System.IO-src.html @@ -12,4 +12,4 @@ print {A} {{Show A}} (a : A) : IO := printString (Show.show a); printLn {A} {{Show A}} (a : A) : IO := printStringLn (Show.show a); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.System.IO.Base-src.html b/Stdlib.System.IO.Base-src.html index e31244a8..a9389262 100644 --- a/Stdlib.System.IO.Base-src.html +++ b/Stdlib.System.IO.Base-src.html @@ -9,4 +9,4 @@ syntax operator >>> seq; builtin IO-sequence axiom >>> : IO → IO → IO; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.System.IO.Bool-src.html b/Stdlib.System.IO.Bool-src.html index 2fe648f1..0c102486 100644 --- a/Stdlib.System.IO.Bool-src.html +++ b/Stdlib.System.IO.Bool-src.html @@ -9,4 +9,4 @@ axiom printBool : Bool → IO; printBoolLn (b : Bool) : IO := printBool b >>> printString "\n"; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.System.IO.Int-src.html b/Stdlib.System.IO.Int-src.html index e004baf5..b7b2e82b 100644 --- a/Stdlib.System.IO.Int-src.html +++ b/Stdlib.System.IO.Int-src.html @@ -9,4 +9,4 @@ axiom printInt : Int → IO; printIntLn (i : Int) : IO := printInt i >>> printString "\n"; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.System.IO.Nat-src.html b/Stdlib.System.IO.Nat-src.html index f5288848..e49c95ea 100644 --- a/Stdlib.System.IO.Nat-src.html +++ b/Stdlib.System.IO.Nat-src.html @@ -9,4 +9,4 @@ axiom printNat : Nat → IO; printNatLn (n : Nat) : IO := printNat n >>> printString "\n"; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.System.IO.String-src.html b/Stdlib.System.IO.String-src.html index 64c2f963..23b0bfb4 100644 --- a/Stdlib.System.IO.String-src.html +++ b/Stdlib.System.IO.String-src.html @@ -11,4 +11,4 @@ axiom readLn : (String → IO) → IO; printStringLn (s : String) : IO := printString s >>> printString "\n"; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait-src.html b/Stdlib.Trait-src.html index b47fd824..9f839e96 100644 --- a/Stdlib.Trait-src.html +++ b/Stdlib.Trait-src.html @@ -9,4 +9,4 @@ import Stdlib.Trait.Integral open public; import Stdlib.Trait.Numeric open public; import Stdlib.Trait.DivMod open public; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.DivMod-src.html b/Stdlib.Trait.DivMod-src.html index 6dde82a9..42ec26d2 100644 --- a/Stdlib.Trait.DivMod-src.html +++ b/Stdlib.Trait.DivMod-src.html @@ -9,4 +9,4 @@ }; open DivMod public; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Eq-src.html b/Stdlib.Trait.Eq-src.html index a7070106..17463c18 100644 --- a/Stdlib.Trait.Eq-src.html +++ b/Stdlib.Trait.Eq-src.html @@ -17,4 +17,4 @@ --- Tests for inequality. {-# inline: always #-} /= {A} {{Eq A}} (x y : A) : Bool := not (x == y); -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Integral-src.html b/Stdlib.Trait.Integral-src.html index fc7ba825..c0aafa5b 100644 --- a/Stdlib.Trait.Integral-src.html +++ b/Stdlib.Trait.Integral-src.html @@ -16,4 +16,4 @@ }; open Integral using {fromInt; -} public; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Natural-src.html b/Stdlib.Trait.Natural-src.html index 402c3816..e948074f 100644 --- a/Stdlib.Trait.Natural-src.html +++ b/Stdlib.Trait.Natural-src.html @@ -2,4 +2,4 @@ 
module Stdlib.Trait.Natural;
 
 import Juvix.Builtin.V1.Trait.Natural open public;
-
Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Numeric-src.html b/Stdlib.Trait.Numeric-src.html index c3348b99..69fe8214 100644 --- a/Stdlib.Trait.Numeric-src.html +++ b/Stdlib.Trait.Numeric-src.html @@ -13,4 +13,4 @@ }; open Numeric using {/} public; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Ord-src.html b/Stdlib.Trait.Ord-src.html index ead5ae8f..19822728 100644 --- a/Stdlib.Trait.Ord-src.html +++ b/Stdlib.Trait.Ord-src.html @@ -74,4 +74,4 @@ --- Returns the larger element. {-# inline: always #-} max {A} {{Ord A}} (x y : A) : A := ite (x > y) x y; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Partial-src.html b/Stdlib.Trait.Partial-src.html index f081f148..90025a53 100644 --- a/Stdlib.Trait.Partial-src.html +++ b/Stdlib.Trait.Partial-src.html @@ -10,4 +10,4 @@ open Partial public; runPartial {A} (f : {{Partial}} -> A) : A := f {{mkPartial Debug.failwith}}; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/Stdlib.Trait.Show-src.html b/Stdlib.Trait.Show-src.html index 7ad1e34b..8aedcc71 100644 --- a/Stdlib.Trait.Show-src.html +++ b/Stdlib.Trait.Show-src.html @@ -5,4 +5,4 @@ trait type Show A := mkShow {show : A -> String}; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file diff --git a/index-src.html b/index-src.html index f866d388..d619a0fa 100644 --- a/index-src.html +++ b/index-src.html @@ -16,4 +16,4 @@ import Stdlib.Data.String.Ord; import Stdlib.Cairo.Poseidon; -Last modified on 2024-06-28 17:40 UTC \ No newline at end of file +Last modified on 2024-07-01 3:19 UTC \ No newline at end of file