Skip to content

DEV Community

DEV Community is a community of 616,519 amazing developers

We're a place where coders share, stay up-to-date and grow their careers.

Create new account Log in

loading...

# idris

👋 Sign in for the ability sort posts by top and latest.

Mar 1

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

#idris #functional #math

4 min read

Mar 10

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

#idris #functional

5 min read

Jan 31

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

#idris #functional

4 min read

Feb 16

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

#idris #functional #types

3 min read

Feb 10

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

#idris #functional #types

7 min read

Jan 10

Idris2+WebGL, part#3: Preliminary performance test

#idris #functional

2 min read

Jan 9

Idris2+WebGL, part #2: some animation

#idris #functional #types

3 min read

Jan 4

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

#idris #functional #type

4 min read

loading...