Skip to content
Navigation menu
Search
Powered by
Search
Algolia
Search
Log in
Create account
DEV Community
Close
#
idris
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Idris FizzBuzz Part IV: Main and .ipkg Files
webbureaucrat
webbureaucrat
webbureaucrat
Follow
May 26 '23
Idris FizzBuzz Part IV: Main and .ipkg Files
#
functional
#
idris
#
totality
Comments
Add Comment
3 min read
Idris FizzBuzz Part III: Defining Types and Importing Modules
webbureaucrat
webbureaucrat
webbureaucrat
Follow
May 16 '23
Idris FizzBuzz Part III: Defining Types and Importing Modules
#
functional
#
idris
Comments
Add Comment
6 min read
Idris FizzBuzz Part II: Maybes, Infix Notation, and Idris Holes
webbureaucrat
webbureaucrat
webbureaucrat
Follow
May 11 '23
Idris FizzBuzz Part II: Maybes, Infix Notation, and Idris Holes
#
functional
#
idris
Comments
Add Comment
5 min read
Idris FizzBuzz Part I: Monads, Comments, and assert_smaller
webbureaucrat
webbureaucrat
webbureaucrat
Follow
May 2 '23
Idris FizzBuzz Part I: Monads, Comments, and assert_smaller
#
functional
#
idris
#
totality
Comments
Add Comment
7 min read
Hello, Idris World! and Why I'm Excited for a Total Programming Language
webbureaucrat
webbureaucrat
webbureaucrat
Follow
Apr 2 '23
Hello, Idris World! and Why I'm Excited for a Total Programming Language
#
functional
#
idris
Comments
Add Comment
6 min read
Rovnostní typy a negace typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 23 '22
Rovnostní typy a negace typů
#
agda
#
coq
#
idris
5
reactions
Comments
Add Comment
2 min read
Prolegomena k úvodu do základů závislostních typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 21 '22
Prolegomena k úvodu do základů závislostních typů
#
agda
#
coq
#
idris
6
reactions
Comments
1
comment
3 min read
Idris2+WebGL: Hiatus
DrBearhands
DrBearhands
DrBearhands
Follow
Oct 28 '21
Idris2+WebGL: Hiatus
#
idris
#
webgl
5
reactions
Comments
Add Comment
2 min read
The hardest thing I ever did explained as simply as possible.
DrBearhands
DrBearhands
DrBearhands
Follow
Sep 5 '21
The hardest thing I ever did explained as simply as possible.
#
functional
#
logic
#
idris
6
reactions
Comments
Add Comment
15 min read
Idris2+WebGL, part #16: Binding programs again
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 20 '21
Idris2+WebGL, part #16: Binding programs again
#
idris
#
functional
#
webgl
3
reactions
Comments
Add Comment
3 min read
Idris2+WebGL, part #15: Restricting arguments to a list
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 7 '21
Idris2+WebGL, part #15: Restricting arguments to a list
#
idris
#
functional
#
webgl
3
reactions
Comments
Add Comment
2 min read
Idris2+WebGL, part #14: Getting back into it
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 4 '21
Idris2+WebGL, part #14: Getting back into it
#
idris
#
functional
#
webgl
4
reactions
Comments
Add Comment
2 min read
Idris2+WebGL, part #13: Slow and frustrating progress
DrBearhands
DrBearhands
DrBearhands
Follow
Mar 10 '21
Idris2+WebGL, part #13: Slow and frustrating progress
#
idris
#
functional
6
reactions
Comments
Add Comment
5 min read
Idris2+WebGL, part #12: Linear algebra with linear types... not great
DrBearhands
DrBearhands
DrBearhands
Follow
Mar 1 '21
Idris2+WebGL, part #12: Linear algebra with linear types... not great
#
idris
#
functional
#
math
6
reactions
Comments
Add Comment
4 min read
Idris2+WebGL, part #10: Implicit arguments & monad transformers
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 16 '21
Idris2+WebGL, part #10: Implicit arguments & monad transformers
#
idris
#
functional
#
types
6
reactions
Comments
Add Comment
3 min read
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 10 '21
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program
#
idris
#
functional
#
types
3
reactions
Comments
Add Comment
7 min read
Idris2+WebGL, part #8: Baby's first dependent type
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 31 '21
Idris2+WebGL, part #8: Baby's first dependent type
#
idris
#
functional
6
reactions
Comments
Add Comment
4 min read
Idris2+WebGL, part#3: Preliminary performance test
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 10 '21
Idris2+WebGL, part#3: Preliminary performance test
#
idris
#
functional
2
reactions
Comments
Add Comment
2 min read
Idris2+WebGL, part #2: some animation
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 9 '21
Idris2+WebGL, part #2: some animation
#
idris
#
functional
#
types
2
reactions
Comments
Add Comment
3 min read
Idris2+WebGL, part #1: Hello triangle, first thoughts
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 4 '21
Idris2+WebGL, part #1: Hello triangle, first thoughts
#
idris
#
functional
#
type
10
reactions
Comments
Add Comment
4 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account