Programación => Programación General => Mensaje iniciado por: darkraider en 10 Julio 2010, 18:04 PM
Título: Algoritmo de comprobación de tipos Haskell
Publicado por: darkraider en 10 Julio 2010, 18:04 PM
Lo dicho: un algortimo que le pueda aplicar a una función (sobre el papel: teoría) para saber si está bien tipada. Me dieron uno en clase pero no se donde tengo los apuntes. Alguien sabe alguno?