mason-org/mason.nvim

[New package]: idris2_lsp

Open

#363 geöffnet am 1. Sept. 2022

Auf GitHub ansehen
 (1 Kommentar) (1 Reaktion) (0 zugewiesene Personen)Lua (337 Forks)batch import
help wantednew-package-request

Repository-Metriken

Stars
 (10.278 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 7T 18h) (4 gemergte PRs in 30 T)

Beschreibung

Package name

idris2_lsp

Package homepage

https://github.com/idris-community/idris2-lsp

Languages

Idris 2

How is this package distributed?

The package is distributed with its source code in idris-community/idris2-lsp, to be built by the Idris compiler

Contributor Guide

Research-Richtung
Finde die Paketdefinitionen im Repository (wahrscheinlich unter 'lua/mason registry/') und erstelle einen neuen Paketeintrag für idris2 lsp nach dem Muster bestehender Pakete. Überprüfe die Installationsanweisungen auf der Paket Homepage.
Tech Stack
lua
Domain
developer experience
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GitLua
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75