Skip to content

DEV Community

# idris

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Betelgeuse

Feb 23 '22

Rovnostní typy a negace typů

#agda #coq #idris

2 min read

Betelgeuse

Feb 21 '22

Prolegomena k úvodu do základů závislostních typů

#agda #coq #idris

3 min read

Oct 28 '21

Idris2+WebGL: Hiatus

#idris #webgl

2 min read

Sep 5 '21

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

#functional #logic #idris

15 min read

Aug 20 '21

Idris2+WebGL, part #16: Binding programs again

#idris #functional #webgl

3 min read

Aug 7 '21

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

#idris #functional #webgl

2 min read

Aug 4 '21

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

#idris #functional #webgl

2 min read

Mar 10 '21

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

#idris #functional

5 min read

Mar 1 '21

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

#idris #functional #math

4 min read

Feb 16 '21

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

#idris #functional #types

3 min read

Feb 10 '21

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

#idris #functional #types

7 min read

Jan 31 '21

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

#idris #functional

4 min read

Jan 10 '21

Idris2+WebGL, part#3: Preliminary performance test

#idris #functional

2 min read

Jan 9 '21

Idris2+WebGL, part #2: some animation

#idris #functional #types

3 min read

Jan 4 '21

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

#idris #functional #type

4 min read

loading...