Install

Editor

Nos seguintes, «editor» refere ao teu (novo?) editor favorito, sendo um dos:

• Emacs
• Neovim
• VS Code

Instale pelo menos um deles.

Zulip

Não precisa instalar nada. Use pelo seu navegador mesmo.

Lean

Siga as instruções de instalação.

Haskell

1. Instale o ghcup, e note que:
   • tu queres instalar o HLS sim!
   • é conveniente fazer o append no shell
   • tu prefere interagir bem com stack
2. Use ghcup para instalar o GHC recomendado
3. Completa os first steps até chegar em ter um projeto de «Hello World» criado pelo cabal em qual tu pode usar:
   • cabal build
   • cabal repl
   • cabal run
4. Configure um dos editores acima para operar bem com Haskell