Skip to content

Investigación #1 El cálculo lambda de Alonzo Church (1936) como fundamento teórico de la programación funcional - Luis Daniel Aguilar Aguilar - #24

Open
DanielAguilar28 wants to merge 2 commits into
tectijuana:mainfrom
DanielAguilar28:main
Open

Investigación #1 El cálculo lambda de Alonzo Church (1936) como fundamento teórico de la programación funcional - Luis Daniel Aguilar Aguilar#24
DanielAguilar28 wants to merge 2 commits into
tectijuana:mainfrom
DanielAguilar28:main

Conversation

@DanielAguilar28

Copy link
Copy Markdown

Descripción del cambio

Unidad y tema afectado

Tipo de cambio

  • Corrección de bug (código que no compilaba o test que fallaba)
  • Nueva práctica o ejercicio
  • Mejora de código existente
  • Mejora de documentación
  • Otro

Checklist de calidad

  • El código compila / carga sin errores
  • Los tests existentes siguen pasando
  • Se agregaron tests para el código nuevo (si aplica)
  • Los predicados Prolog tienen documentación de aridad y determinismo
  • El código Erlang usa OTP behaviors (sin spawn desnudo)
  • Se probó localmente con el comando exacto indicado en el README del tema

Evidencia de ejecución

  • asciinema (sesión CLI) — link:
  • LOOM (demo UI/gráfica, si aplica) — link:
  • Google Stitch (mockup UI, si aplica) — imagen incluida en el README del proyecto

Comandos de verificación

# Pegar aquí los comandos exactos que usaste para verificar

Referencias

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant