Documentation: Update README to match the current implementation
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- documentation
Línea de trabajo
Empieza leyendo el README y comparando sus ejemplos de char_simple y string_simple con la implementación actual de main. Actualiza el código del README para que funcione con la versión más reciente de main y, después, revisa la sección del ejercicio para el lector; se considera terminado cuando los ejemplos estén actualizados y se puedan utilizar.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Why?
Currently it refers to char_simple and string_simple in many places, but they were deprecated.
What?
- Rewrite the code from README and make sure that it works with the latest
main. - Change the excercise for the reader section.
- Lenguaje dominante
- Lean
- Estrellas
- 37
- Forks
- 8
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de argumentcomputer/Megaparsec.lean
-
Can you update the project?Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Bump Straume versionAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
argumentcomputer/Megaparsec.lean#55 · 3 comentarios ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performanceAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 52/100
argumentcomputer/Megaparsec.lean#26 · 1 comentario ·
Todos los issues de argumentcomputer/Megaparsec.lean
Issues similares
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 72/100
zts212653/clowder-ai#1678 ·
Los mantenedores suelen responder en 1 día
-
[Docs] CONTRIBUTING still says FreeType 2.14.3 and TabLabel.h says ImGui 1.92.9b after the bumpsPosiblemente ocupada @mgradwohl la tomó hoy. Abiertoagent:WSL documentation LOW
Dificultad 1/5 1-3 horas Aptitud para principiantes 83/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
cloudflare/skills#247 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 64/100
social-harness/moltzap#1412 ·
Los mantenedores suelen responder en 1 día