Edición de «Práctica 3 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 32: | Línea 32: | ||
viii. Erase(λf : Bool → s.λy : Bool.f y) -- Válida, grámatica con anotaciones. | viii. Erase(λf : Bool → s.λy : Bool.f y) -- Válida, grámatica con anotaciones. | ||