More careful object/metalanguage distinction
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 20/100
- Tipo de issue
- Documentación
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- documentation
Línea de trabajo
Comienza localizando el texto de fol/syn y revisando sus afirmaciones sobre el lenguaje objeto, el metalenguaje, las variables y los ejemplos que involucran x, y y s(x) = s(y). Analiza qué precisión debería tener la terminología y, después, revisa el texto para que la distinción y las lecturas previstas sean inequívocas.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
The current fol/syn text is less than precise about when the use of a symbol is part of the object language, and when it's a part of the metalanguage, esp. when variables are concerned, e.g., a $x$ may be a schematic metavariable for variable symbols, or it may be a sloppy way of denoting a variable symbol in the language. We should clean this up; but perhaps a discussion needs to be had about how pedantic we want to be. It can cause confusion esp when we say things like "$x$ and $y$ are different variables"; "$x = y$ can be misunderstood as $s(x) = s(y)$ etc.
- Lenguaje dominante
- TeX
- Estrellas
- 1.4k
- Forks
- 289
- 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 OpenLogicProject/OpenLogic
-
Russel's Paradox typoAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
OpenLogicProject/OpenLogic#339 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentario ·
-
Order-type of models of PAAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentario ·
-
Improve docsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
OpenLogicProject/OpenLogic#390 ·
Todos los issues de OpenLogicProject/OpenLogic
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
developmentseed/deck.gl-raster#693 ·
Los mantenedores suelen responder en 1 día
-
changelog investigate
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
ramnes/notion-sdk-py#408 ·
-
triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
github/docs#46222 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Yacine TVAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
iptv-org/awesome-iptv#840 ·
-
Link Checker ReportAbiertoautomated issue report
Dificultad 1/5 Menos de una hora Aptitud para principiantes 82/100