Issues
Offen
Better error message for misuse of row polymorphic types and add documentation for `(All (r #:row) body)`
classgood first issue
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Unsound complex `exp` optimization
good first issueoptimizerunsound
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
3 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests
good first issue
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Clean up the "utils" directory
good first issue
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
refinement type runs into an endless loop
good first issueinferencerefinement
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
tooltips missing sometimes
enhancementgood first issue
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
The no-check TR language's bindings are not identical to TR in the transformer environment
good first issue
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
case-lambda allows multiple cases with the same arity
arrowgood first issue
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
5 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
internal error type-checking a dot type program
good first issue
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
TR should provide a Dictionary type
good first issue
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen