Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
DEV Community
is a community of 851,150 amazing developers
We're a place where coders share, stay up-to-date and grow their careers.
Create account
Log in
Home
Listings
Podcasts
Videos
Tags
FAQ
Forem Shop
Sponsors
About
Contact
Other
Code of Conduct
Privacy Policy
Terms of use
Twitter
Facebook
Github
Instagram
Twitch
#
idris
Follow
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Rovnostní typy a negace typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 23
Rovnostní typy a negace typů
#
agda
#
coq
#
idris
Reactions
7
reactions
Comments
Add Comment
2 min read
Save
Saved
Prolegomena k úvodu do základů závislostních typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 21
Prolegomena k úvodu do základů závislostních typů
#
agda
#
coq
#
idris
Reactions
6
reactions
Comments
1
comment
3 min read
Save
Saved
Idris2+WebGL: Hiatus
DrBearhands
DrBearhands
DrBearhands
Follow
Oct 28 '21
Idris2+WebGL: Hiatus
#
idris
#
webgl
Reactions
5
reactions
Comments
Add Comment
2 min read
Save
Saved
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
Reactions
6
reactions
Comments
Add Comment
15 min read
Save
Saved
Idris2+WebGL, part #16: Binding programs again
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 20 '21
Idris2+WebGL, part #16: Binding programs again
#
idris
#
functional
#
webgl
Reactions
3
reactions
Comments
Add Comment
3 min read
Save
Saved
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
Reactions
4
reactions
Comments
Add Comment
2 min read
Save
Saved
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
Reactions
4
reactions
Comments
Add Comment
2 min read
Save
Saved
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
Reactions
6
reactions
Comments
Add Comment
5 min read
Save
Saved
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
Reactions
6
reactions
Comments
Add Comment
4 min read
Save
Saved
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
Reactions
6
reactions
Comments
Add Comment
3 min read
Save
Saved
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
Reactions
3
reactions
Comments
Add Comment
7 min read
Save
Saved
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
Reactions
6
reactions
Comments
Add Comment
4 min read
Save
Saved
Idris2+WebGL, part#3: Preliminary performance test
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 10 '21
Idris2+WebGL, part#3: Preliminary performance test
#
idris
#
functional
Reactions
2
reactions
Comments
Add Comment
2 min read
Save
Saved
Idris2+WebGL, part #2: some animation
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 9 '21
Idris2+WebGL, part #2: some animation
#
idris
#
functional
#
types
Reactions
2
reactions
Comments
Add Comment
3 min read
Save
Saved
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
Reactions
10
reactions
Comments
Add Comment
4 min read
Save
Saved
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account