Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Idris FizzBuzz Part IV: Main and .ipkg Files

Idris FizzBuzz Part IV: Main and .ipkg Files

Idris FizzBuzz Part III: Defining Types and Importing Modules

Idris FizzBuzz Part III: Defining Types and Importing Modules

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

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

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

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

Rovnostní typy a negace typů

Rovnostní typy a negace typů

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

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

Idris2+WebGL: Hiatus

Idris2+WebGL: Hiatus

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

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

Idris2+WebGL, part #16: Binding programs again

Idris2+WebGL, part #16: Binding programs again

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Idris2+WebGL, part#3: Preliminary performance test