Readings shared December 9, 2024
The readings shared in Bluesky on 9 December 2024 are
- Readings shared December 8, 2024. #ITP #Agda #Coq #Haskell #FunctionalProgramming
- Information sign: Search and coupling (Metavariables, coupling, and formal proofs). ~ Leni Aniva. #ITP #LeanLang #Lean4
- Debugging your Haskell application with debuggable. ~ Edsko de Vries. #Haskell #FunctionalProgramming
- Myth and truth in Haskell asynchronous exceptions. ~ Kazu Yamamoto. #Haskell #FunctionalProgramming