Todos los registros públicos

Vista combinada de todos los registros de Cuba-Wiki. 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.

• 04:23 20 feb 2025 Octo discusión contribs. creó la página Enunciado-Final-PLP-18-02-25 (Página creada con «==Haskell== <pre> data Form = Prop String | And Form Form | Or Form Form | Neg Form </pre> (A) Definir y dar el tipo de <code>foldForm</code> (B) Definir <code>fnn :: Form -> Bool -> Form</code> usando foldForm. Que pasa una formula x a forma normal negada si el booleano es <code>True</code> y pasa a la negacion de x a forma normal negada si el booleano es <code>False</code>. Ej: fnn <code>(And (Prop "x") Neg(Or (Prop "y")…»)