Skip to content

DEV Community

# idris

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

May 26 '23

Idris FizzBuzz Part IV: Main and .ipkg Files

#functional #idris #totality

3 min read

May 16 '23

Idris FizzBuzz Part III: Defining Types and Importing Modules

#functional #idris

6 min read

May 11 '23

Idris FizzBuzz Part II: Maybes, Infix Notation, and Idris Holes

#functional #idris

5 min read

May 2 '23

Idris FizzBuzz Part I: Monads, Comments, and assert_smaller

#functional #idris #totality

7 min read

Apr 2 '23

Hello, Idris World! and Why I'm Excited for a Total Programming Language

#functional #idris

6 min read

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...