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?
|