DrBearhands’ writings

Blog posts

• The hardest thing I ever did: Hoare state monads
• Every bug is a type error
• The trias politica needs an IT branch

Tutorials

• Haskell for madmen

Development logs

• Making WebGL typesafe in Idris 2

---

If you like my work, please consider buying me a coffee.

---