haskell - resueltos - Creación de un pliegue que permite que el tipo cambie después de cada llamada

haskell - unitarios - vectores en geogebra - edu.lat

Uso del "Prólogo en Scala" para encontrar instancias de clase de tipo disponibles

Haskell singletons: ¿Qué ganamos con SNat? - edu.lat

haskell - ¿Hay "combinadores de nivel de tipo"? ¿Existirán en algún futuro?

scala - studio - superponer graficas en r - edu.lat

scala - Probando una afirmación de que algo no debe compilarse

Diferencia entre Haskell e Idris: Reflexión de Runtime/Compiletime en los universos de tipo - edu.la

scala - reales - ¿Cuáles son algunos ejemplos de programación de tipo de nivel?

¿Cómo resuelve haskell las instancias superpuestas? - edu.lat

haskell - Coincidencia en el nivel de tipo Nat en GHC 7.6 - edu.lat