Nu am putut găsi această intrare. Se afișează rezultate aproximative. Verificați ortografia sau propuneți adăugarea acestui termen în dicționar.
una función que toma
So, lm here is a function which takes its argument x, and it multiples it times itself.
Por lo tanto, lm aquí es una función que toma su argumento x y múltiplos que se tiempo de sí mismo.
In logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions).
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).
E₁ E₂) is a function which takes an argument, say a, and substitutes it into the lambda term (E₁ E₂) in place of x, yielding (E₁ E₂)[x: = a].
E1E2) es una función que toma un argumento, digamos a, y lo substituye en el término lambda (E1 E2) en lugar de x, dando (E1 E2)[a/x].
The handler is a function which takes an event, which has to have the Button constructor, and has a IO boolean value.
El manejador es una función que toma un evento, que tiene que tener el constructor Button, y tiene un valor IO boolean.
But the Gtk2Hs signal handler onClicked takes a button, and a function which takes no parameters and has a value of type IO ().
Pero el manejador de señales de Gtk2Hs onClicked emplea un botón y una función sin parámetros y tiene un valor de tipo IO ().
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.