{-| Module : Tarefa1 Description : Validação de jogos. Copyright : ALUNO_1_NOME <ALUNO_1_NUMERO@alunos.uminho.pt> ALUNO_2_NOME <ALUNO_2_NUMERO@alunos.uminho.pt> Módulo para a realização da Tarefa 1 de LI1\/LP1 em 2026\/27. -} module Tarefa1 where import Labs2026 -- | Função principal da Tarefa 1. Recebe um jogo e verifica se é válido. validaJogo :: Jogo -> Bool validaJogo :: Jogo -> Bool validaJogo Jogo j = Bool forall a. HasCallStack => a undefined -- * Funções auxiliares