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

1. Instale elan
2. Use elan para instalar Lean
3. Configure um editor para operar bem com Lean

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 editor para operar bem com Haskell

Agda

1. Instale Agda usando o cabal (instalado como parte da Haskell)
2. Instale a biblioteca agda-stdlib.
3. Configure um editor para operar bem com Agda