• 2026-05-11 :: LiquidHaskell: Tracing Data
• 2026-05-08 :: LiquidHaskell: Resolution Pipeline
• 2026-05-06 :: LiquidHaskell: Plugin Overview
• 2026-05-05 :: LiquidHaskell: First approach
• 2026-05-05 :: LiquidHaskell: Prelude
• 2022-07-17 :: Estudiando Computación Cuántica: Espacios Vectoriales Complejos.
• 2021-09-12 :: Estudiando Computación Cuántica: Números Complejos.
• 2021-09-12 :: Estudiando Computación Cuántica: Prefacio.