manugunther/STLCinAgda
Inferencia de tipos para el Cálculo Lambda simplemente tipado asegurando su corrección por construcción.
Public GitHub Catalog
Discovered Oct 1, 2026
manugunther / STLCwithAG
Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#20702196GitHub System ID
manuguntherOrganization / User
PublicVisibility
ActiveCatalog Status
More from manugunther
manugunther/hchatbot
Implementación de un chatbot en Haskell.
manugunther/cmantec
C-MANTEC neural network algorithm implementation on Python
manugunther/sat
Public repository.