haskell - ¿Para qué sirve la función absurda en Data.Void? - edu.lat

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