DrBearhands’ writings
Blog posts
Tutorials
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
- 7: Short code quality update
- 8: Baby’s first dependent type
- 9: Ensuring uniforms belong to bound program
- 10: Implicit arguments & monad transformers
- 11: No linearity with monadic errors (for now)
- 12: Linear algebra with linear types… not great
- 13: Slow and frustrating progress
If you like my work, please consider buying me a coffee.