We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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 ().
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.