Feda /dev/ - No Javascript allowed

Acabo de tirar un pr donde el 90% del trabajo lo ha hecho chatgpt

El futuro esta aqui @desu

#45696 zag

La putada es que las bebitas no van en busca de él.

#45696 idris

data Nat    = Z   | S Nat           -- Natural numbers
                                    -- (zero and successor)

even : Nat -> Bool
even Z = True
even (S k) = odd k where
  odd : Nat -> Bool
  odd Z = False
  odd (S k) = even k

test : List Nat
test = [c (S 1), c Z, d (S Z)]
  where c : Nat -> Nat
        c x = 42 + x

    d : Nat -> Nat
    d y = c (y + 1 + z y)
          where z : Nat -> Nat
                z w = y + w

#45704

La abreviatura o sigla DEP puede referirse a:

Densidad Espectral de Potencia.
Descanse en paz.
Desprendimiento del Epitelio Pigmentario.
Prevención de ejecución de datos, en inglés Data Execution Prevention.
Dillinger Escape Plan, banda de heavy metal
Diario Era Palentino, ahora es un periódico políticamente de derechas.
Dirección de Educación Pública, un servicio público dependiente del Ministerio de Educación de Chile.[/quote]

ridículo, pero tenéis que ver al tonto ese de la barba, rondará los 40 y tiene la habitación como si tuviese 19. Ayer estaba aprendiendo java. Desolador

#45711 xddd mis respetos, felicidades también por tus paint skills

pobre desu, pasan los años y no cambia, sigue siendo un meme, aún recuerdo cuando estaba empezando el FP y todavía @hexan seguía dando picotazos por aquí, que desu era un meme, han pasado 7 años, y sigue siendo un meme, madre mía

Una dudilla por si alguno usa JB Datagrip, que me niego a usar SQL developer xD
En SQL Developer al final del arbol en la raiz me aparecen "Other users" y desde ahí puedo acceder a las tablas de los usuarios, pero en datagrip me aparece igualmente pero no puedo acceder a esas tablas.
No se si es algo de config o que pero necesito saberlo para poder borrar el SQL Developer

EDIT: soy imbécil, había seleccionado el schema del user que quería pero justo debajo hay un matcher para las tablas -> e ya