haskell - metafísica - monadas filosofia - edu.lat
haskell - ¿Es Curry-Howard corresponsal de doble negación((a-> r)-> r) o((a-> ⊥)-> ⊥)? -
haskell - ¿Se pueden usar GADT para probar las desigualdades tipo en GHC?
functional programming - ¿Cuáles son las equivalencias más interesantes que surgen del isomorfismo d
haskell - superarla - dependencia emocional pdf - edu.lat
haskell - Isomorfismo de Curry-Howard - edu.lat