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.

• 14:40 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 25/10/2023 (Paradigmas) (Página creada con «Paseó por toda la materia: Primero un map para una estructura de datos falopa, después el tipo del fold para esa misma estructura. Preservación, un caso con fix, función de inferencia en general y subtipado, qué se pierde con subtipado, resolución de primer orden en un paso y un ejemplo con prolog y cuts. - Funcional: Me dio esta estructura data A a b = C1 a | C2 b | C3 a (A a b) y me preguntó cómo sería map para esa estructura (no me salió de una, así q…»)