Todos los registros públicos

Vista combinada de todos los registros de Razonamiento automático (2019-20). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 13:56 26 jul 2021 Jalonso discusión contribs. borró la página Relación 1 (el contenido era: «<source lang="haskell"> chapter ‹ R1: Programación funcional en Isabelle › theory R1_Programacion_funcional_en_Isabelle imports Main begin text ‹ ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función longitud :: 'a list ⇒ nat tal que (longitud xs) es la longitud de la listas xs. Por ejemplo, longitud [a,b,c] = 3 ------------------------------------------------------------------- ›…»)