The next big Haskell project is about to start!
If I break, you can:
  1. Restart:           M-x haskell-process-restart
  2. Configure logging: C-h v haskell-process-log (useful for debugging)
  3. General config:    M-x customize-mode
  4. Hide these tips:   C-h v haskell-process-show-debug-tips
Changed directory: /home/hugo/Academic/Teaching/2023.2/TCPF/Aulas/
λ> [1,2] ++ [3] == [1] ++ [2,3]
True
λ> Conc (Conc (Unit 1) (Unit 2)) (Unit 3)
Conc (Conc (Unit 1) (Unit 2)) (Unit 3)
λ> Conc (Unit 1) (Conc (Unit 2) (Unit 3))
Conc (Unit 1) (Conc (Unit 2) (Unit 3))
λ> t Conc (Unit 1) (Conc (Unit 2) (Unit 3))

<interactive>:18:1: error:
    Variable not in scope:
      t :: (NaoLista a0 -> NaoLista a0 -> NaoLista a0)
           -> NaoLista a1 -> NaoLista a2 -> t
λ> t = Conc (Unit 1) (Conc (Unit 2) (Unit 3))
λ> s = Conc (Conc (Unit 1) (Unit 2)) (Unit 3)
λ> t == s
True
λ> Op (Op (Op Constante))
Op (Op (Op Constante))
λ> :t fmap
fmap :: Functor f => (a -> b) -> f a -> f b
λ>