Home
last modified time | relevance | path

Searched refs:Lam (Results 1 – 25 of 1529) sorted by relevance

12345678910>>...62

/dports/finance/gnucash/gnucash-4.9/
H A DChangeLog.20191 2019-12-28 Christopher Lam
5 2019-12-27 Christopher Lam
9 2019-12-28 Christopher Lam
89 2019-12-27 Christopher Lam
129 2019-12-27 Christopher Lam
145 2019-12-26 Christopher Lam
149 2019-12-26 Christopher Lam
153 2019-12-24 Christopher Lam
157 2019-12-24 Christopher Lam
161 2019-12-24 Christopher Lam
[all …]
H A DChangeLog.202045 2020-12-29 Christopher Lam
85 2020-12-27 Christopher Lam
89 2020-12-27 Christopher Lam
93 2020-12-26 Christopher Lam
97 2020-12-26 Christopher Lam
253 2020-12-25 Christopher Lam
257 2020-12-24 Christopher Lam
261 2020-12-24 Christopher Lam
265 2020-12-23 Christopher Lam
269 2020-12-22 Christopher Lam
[all …]
H A DChangeLog.20181 2018-12-24 Christopher Lam
5 2019-03-07 Christopher Lam
9 2019-03-07 Christopher Lam
13 2019-03-07 Christopher Lam
17 2019-03-07 Christopher Lam
21 2019-03-07 Christopher Lam
25 2019-03-07 Christopher Lam
29 2019-03-07 Christopher Lam
73 2019-03-04 Christopher Lam
77 2019-03-02 Christopher Lam
[all …]
H A DChangeLog29 2021-12-15 Christopher Lam
33 2021-12-14 Christopher Lam
37 2021-12-14 Christopher Lam
41 2021-12-14 Christopher Lam
101 2021-12-13 Christopher Lam
105 2021-12-09 Christopher Lam
313 2021-12-03 Christopher Lam
317 2021-11-28 Christopher Lam
321 2021-12-04 Christopher Lam
325 2021-12-04 Christopher Lam
[all …]
/dports/math/openturns/openturns-1.18/lib/src/Uncertainty/Distribution/
H A Dpoissinv_cpu.h53 if (Lam > 4.0) { in poissinv_vector()
111 X = X / Lam; in poissinv_vector()
116 S = Lam + (((X+Del)+T)+Lam*S); in poissinv_vector()
150 if (X>0.5*Lam && X<2.0*Lam) { in poissinv_vector()
207 S = (X - Lam) - X*log(X/Lam) - S; in poissinv_vector()
247 T = X/Lam; in poissinv_vector()
266 T *= X/Lam; in poissinv_vector()
296 if (Lam > 4.0) { in poissinv_scalar()
347 if (X>0.5*Lam && X<2.0*Lam) { in poissinv_scalar()
404 S = (X - Lam) - X*log(X/Lam) - S; in poissinv_scalar()
[all …]
/dports/math/gretl/gretl-2021d/lib/src/
H A Dpoisson.h28 double Lami = 1/Lam; in poissinv_core()
36 if (Lam > 4.0) { in poissinv_core()
42 double Lam_root = sqrt(Lam); in poissinv_core()
51 S = Lam + (S + Del); in poissinv_core()
54 S = W / sqrt(Lam); in poissinv_core()
69 S = S - 0.0218/(S+0.065*Lam); in poissinv_core()
79 if (X > 0.5*Lam && X < 2.0*Lam) { in poissinv_core()
83 if (X > Lam) Eta = -Eta; in poissinv_core()
114 if (X < Lam) { in poissinv_core()
133 if (X < Lam) { in poissinv_core()
[all …]
/dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/typing-gadts/
H A Dterm-conv.ml57 | Lam (_, f) -> fun x -> intp (f (Con x))
84 | Lam : ('env * 's, 't) term -> ('env, 's -> 't) term
100 | Lam b -> fun x -> intp b (Push (s, x))
153 | HOAS.Lam (t, f) ->
179 let i t = Lam (t, fun x -> x)
180 let zero t = Lam (Typeable.Fun(t,t), fun f -> Lam(t, fun x -> x))
181 let one t = Lam (Typeable.Fun(t,t), fun f -> Lam(t, fun x -> App (f, x)))
183 Lam (Typeable.Fun(t,t), fun f -> Lam(t, fun x -> App (f, App (f, x))))
185 Lam (Typeable.Fun(t,t),
189 Lam (t2, fun m -> Lam (t2, fun n ->
[all …]
/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/typing-gadts/
H A Dterm-conv.ml57 | Lam (_, f) -> fun x -> intp (f (Con x))
84 | Lam : ('env * 's, 't) term -> ('env, 's -> 't) term
100 | Lam b -> fun x -> intp b (Push (s, x))
153 | HOAS.Lam (t, f) ->
179 let i t = Lam (t, fun x -> x)
180 let zero t = Lam (Typeable.Fun(t,t), fun f -> Lam(t, fun x -> x))
181 let one t = Lam (Typeable.Fun(t,t), fun f -> Lam(t, fun x -> App (f, x)))
183 Lam (Typeable.Fun(t,t), fun f -> Lam(t, fun x -> App (f, App (f, x))))
185 Lam (Typeable.Fun(t,t),
189 Lam (t2, fun m -> Lam (t2, fun n ->
[all …]
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/QuickCheck-2.14.1/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/QuickCheck-2.14/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/devel/hs-mueval/mueval-0.9.3/_cabal_deps/QuickCheck-2.14/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/QuickCheck-2.14/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/QuickCheck-2.14.2/examples/
H A DLambda.hs55 = Lam Var Exp constructor
62 showsPrec n (Lam x t) = showParen (n>0) (showString "\\" . shows x . showString "." . shows t)
76 [ [ (5, liftM2 Lam arbitrary arbExp1)
85 shrink (Lam x a) = [ a ]
86 ++ [ Lam x a' | a' <- shrink a ]
89 | Lam x a' <- [a]
102 free (Lam x a) = Set.delete x (free a)
109 subst x b (Lam y a) | x /= y = Lam y (subst x b a)
173 Lam x a' -> eval (subst x b a')
194 return (Lam x t))
[all …]
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/impl-trait/issues/
H A Dissue-58956.rs1 trait Lam {} interface
4 impl Lam for B {}
7 const _A: impl Lam = { implementation
9 let x: Wrap<impl Lam> = Wrap(B);
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/associated-type-bounds/
H A Dbad-bounds-on-assoc-in-trait.rs10 trait Lam<Binder> { trait
16 impl<'a> Lam<&'a u8> for L1 {
22 impl<'a, 'b> Lam<&'a &'b u8> for L2 {
27 type C: Clone + Iterator<Item: Send + Iterator<Item: for<'a> Lam<&'a u8, App: Debug>> + Sync>;
59 _1: for<'a> Lam<&'a u8, App = _0>, in assume_case1()
/dports/astro/xplanet/xplanet-1.3.1/xplanet/stars/
H A DBSC30 -37.1039 17.5601 1.63 " 35Lam Sco" 6527 158926 208954
72 -43.4325 9.1333 2.21 " Lam Vel" 3634 78647 220878
142 -25.4217 18.4662 2.81 " 22Lam Sgr" 6913 169916 186841
207 -63.0197 11.5963 3.13 " Lam Cen" 4467 100841 251472
275 -4.8825 19.1041 3.44 " 16Lam Aql" 7236 177756 143021
280 42.9144 10.2849 3.45 " 33Lam UMa" 4033 89021 43268
283 12.4903 4.0113 3.47 " 35Lam Tau" 1239 25204 93719
305 9.9342 5.5856 3.54 " 39Lam Ori" 1879 36861 112921
323 16.5403 7.3016 3.58 " 54Lam Gem" 2763 56537 96746
335 -12.3542 10.1765 3.61 " 41Lam Hya" 3994 88284 155785
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/refinery-0.4.0.0/test/Spec/
H A DSTLC.hs32 | Lam String Term constructor
75 substMeta i t1 (Lam s body) = Lam s (substMeta i t1 body)
90 pure $ Lam nm body
143 …it "auto synthesize a solution" $ (evalT auto jdg) `shouldBe` (Right [(Lam "0" $ Lam "1" $ Pair (V…

12345678910>>...62