DEV Community

# idris

Posts

­čĹő Sign in for the ability to sort posts by relevant, latest, or top.
Rovnostn├ş typy a negace typ┼»

Rovnostn├ş typy a negace typ┼»

Reactions 7 Comments
2 min read
Prolegomena k ├║vodu do z├íklad┼» z├ívislostn├şch typ┼»

Prolegomena k ├║vodu do z├íklad┼» z├ívislostn├şch typ┼»

Reactions 6 Comments 1
3 min read
Idris2+WebGL: Hiatus

Idris2+WebGL: Hiatus

Reactions 5 Comments
2 min read
The hardest thing I ever did explained as simply as possible.

The hardest thing I ever did explained as simply as possible.

Reactions 6 Comments
15 min read
Idris2+WebGL, part #16: Binding programs again

Idris2+WebGL, part #16: Binding programs again

Reactions 3 Comments
3 min read
Idris2+WebGL, part #15: Restricting arguments to a list

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

Reactions 4 Comments
2 min read
Idris2+WebGL, part #14: Getting back into it

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

Reactions 4 Comments
2 min read
Idris2+WebGL, part #13: Slow and frustrating progress

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

Reactions 6 Comments
5 min read
Idris2+WebGL, part #12: Linear algebra with linear types... not great

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

Reactions 6 Comments
4 min read
Idris2+WebGL, part #10: Implicit arguments & monad transformers

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

Reactions 6 Comments
3 min read
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program

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

Reactions 3 Comments
7 min read
Idris2+WebGL, part #8: Baby's first dependent type

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

Reactions 6 Comments
4 min read
Idris2+WebGL, part#3: Preliminary performance test

Idris2+WebGL, part#3: Preliminary performance test

Reactions 2 Comments
2 min read
Idris2+WebGL, part #2: some animation

Idris2+WebGL, part #2: some animation

Reactions 2 Comments
3 min read
Idris2+WebGL, part #1: Hello triangle, first thoughts

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

Reactions 10 Comments
4 min read
loading...