DrBearhands’ writings

Blog posts

• Every bug is a type error
• The trias politica needs an IT branch

Tutorials

• Haskell for madmen

WebGL in Idris2

• 1: Hello triangle, first thoughts
• 2: Some animation
• 3: Preliminary performance test
• 4: Troubles with linearity
• 5: Linearity continued
• 6: Bye IO monad, hello GL monad

---

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

---