Skip to content

DEV Community

Idris2 and WebGL Series' Articles

Back to DrBearhands's Series

Jan 4 '21

Idris2+WebGL, part #1: Hello triangle, first thoughts

#idris #functional #type

4 min read

Jan 9 '21

Idris2+WebGL, part #2: some animation

#idris #functional #types

3 min read

Jan 10 '21

Idris2+WebGL, part#3: Preliminary performance test

#idris #functional

2 min read

Jan 14 '21

Idris2+WebGL, part#4: Troubles with linearity

#idris #functional #types #qtt

7 min read

Jan 19 '21

Idris2+WebGL, part #5: Linearity continued

#idris #functional #types #qtt

4 min read

Jan 24 '21

Idris2+WebGL, part #6: Bye IO monad, hello GL monad

#idris #functional #linearity #qtt

6 min read

Jan 27 '21

Idris2+WebGL, part #7: Short code quality update

#idris #functional #linearity #qtt

2 min read

Jan 31 '21

Idris2+WebGL, part #8: Baby's first dependent type

#idris #functional

4 min read

Feb 10 '21

Idris2+WebGL, part #9: Ensuring uniforms belong to bound program

#idris #functional #types

7 min read

Feb 16 '21

Idris2+WebGL, part #10: Implicit arguments & monad transformers

#idris #functional #types

3 min read

Feb 23 '21

Idris2+WebGL, part #11: No linearity with monadic errors (for now)

#idris #functional

3 min read

Mar 1 '21

Idris2+WebGL, part #12: Linear algebra with linear types... not great

#idris #functional #math

4 min read

Mar 10 '21

Idris2+WebGL, part #13: Slow and frustrating progress

#idris #functional

5 min read

Aug 4 '21

Idris2+WebGL, part #14: Getting back into it

#idris #functional #webgl

2 min read

Aug 7 '21

Idris2+WebGL, part #15: Restricting arguments to a list

#idris #functional #webgl

2 min read

Aug 20 '21

Idris2+WebGL, part #16: Binding programs again

#idris #functional #webgl

3 min read

Oct 8 '21

Idris2+WebGL, part #17: A Hoare state failure

#idris #functional #webgl

3 min read

Oct 28 '21

Idris2+WebGL: Hiatus

#idris #webgl

2 min read