evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
Abierto
- Lenguaje dominante
- JavaScript
- Estrellas
- 69
- Forks
- 10
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
- This one should pass level 17, but doesn't: `(λabcd.ad)pyyp`.
- This one should pass level 18, but doesn't: `(λx.i)xλj.k`.
FWIW, the inspector thinks they're both beta-irreducible, despite reducing them.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Línea de trabajo
Reproduce los dos ejemplos del issue: `(λabcd.ad)pyyp` para el nivel 17 y `(λx.i)xλj.k` para el nivel 18. Empieza siguiendo la ruta de comprobación del nivel y el resultado de la reducción beta del inspector; después, verifica que ambos ejemplos se acepten cuando sus reducciones se hayan completado.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- javascript
- Área
- compilers
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100