Does Boolean HeytingAlgebra need to be foreign?

Aberta
  • Algo errado?
#307 1 comentário 1 reação 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
3/5
Tempo estimado
1-2 dias
Facilidade para iniciantes
35/100
Tipo de issue
Refatoração
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Domínio
backend

Direção de pesquisa

Read the HeytingAlgebra Boolean definitions and their foreign implementations to determine whether boolConj, boolDisj, and boolNot can use pattern matching in PureScript. The issue does not name file paths or tests; locate those definitions first. Done means the three operations are implemented in PureScript if feasible, with relevant tests passing.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

Currently, boolConj, boolDisj, and boolNot are foreign, but could these be implemented in PureScript with pattern matching?

Linguagem predominante
PureScript
Estrelas
168
Forks
90
Merge médio
3d 1h
PRs com merge (30d)
1

Preparar o ambiente

  • Sem Dockerfile nem arquivo Docker Compose
  • Tem um modelo de pull request
  • Sem guia de contribuição

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de purescript/purescript-prelude

Todas as issues de purescript/purescript-prelude

Issues semelhantes

Mais issues de Backend & API Design

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.