Does Boolean HeytingAlgebra need to be foreign?

Ouverte
  • Quelque chose ne va pas ?
#307 1 commentaire 1 réaction 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
35/100
Type d'issue
Refactorisation
Clarté
Plutôt claire
Activité
À l'abandon
Domaine
backend

Piste de recherche

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.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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

Langage dominant
PureScript
Étoiles
168
Forks
90
Merge moyen
3 j 1 h
PR mergées (30 j)
1

Préparer son environnement

  • Aucun Dockerfile ni fichier Docker Compose
  • Propose un modèle de pull request
  • Aucun guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de purescript/purescript-prelude

Toutes les issues de purescript/purescript-prelude

Issues similaires

Plus d'issues Backend & API Design

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.