17

0:28

identity showing ofr their french skills

vor 3 Jahre 🎮

15

0:22

Identity's take on german

vor 3 Jahre 🎮

14

0:11

make the trains go brrrrrr

vor 2 Jahre 🎮

13

0:51

Identity challenges sock-sleeping people to league

vor 3 Jahre 🎮

13

0:14

Idris is just JavaScript with error messages

vor 4 Jahre 🎮

8

0:40

"Morphisms are just functions with extra steps"

vor 3 Jahre 🎮

7

0:18

Type numerology

vor 3 Jahre 🎮

6

0:09

You dont want to eat an air filter

vor 3 Jahre 🎮

6

0:31

identity does js

vor 4 Jahre 🎮

6

0:30

Yaffle & pack & more? !idris - !phd - !projects - !discord

vor 2 Jahre 🎮

6

0:16

Trees go brrrrrrrr

vor 4 Jahre 🎮

5

0:34

Type languages are EZ

vor 2 Jahre 🎮

5

0:30

Chill Haskell Opengames stream - NOCAM

vor 3 Jahre 🎮

5

0:26

animal crossing and code

vor 4 Jahre 🎮

5

0:09

Identities

vor 2 Jahre 🎮

5

0:14

List and trees

vor 4 Jahre 🎮

5

0:18

Parsers gone partial

vor 4 Jahre 🎮

4

0:47

Matches are just localised heat guns for heating up your plastic-encased electronics stuff, right?

vor 4 Jahre 🎮

4

0:28

Identity hates sets

vor 3 Jahre 🎮

4

0:28

Programming without a brain- !idris - !phd - !projects - !discord

vor 2 Jahre 🎮

4

0:30

Implementing dependent types

vor 3 Jahre 🎮

4

0:07

Every game will be in Idris 2 (promise!)

vor 4 Jahre 🎮

3

0:30

Dependent types but smart

vor 3 Jahre 🎮

3

0:28

Siri tells identity to shut up

vor 3 Jahre 🎮

3

0:28

Idris2 - Advent of code day 19 - Is this regex?

vor 4 Jahre 🎮

3

0:19

sus

vor 3 Jahre 🎮

2

0:26

Idris2 - Ornaments

vor 3 Jahre 🎮

2

0:40

todo

vor 3 Jahre 🎮

2

0:28

Server library - !idris - !phd - !projects - !discord

vor 2 Jahre 🎮

2

0:30

Studying monads - readings papers

vor 3 Jahre 🎮

2

0:30

Server library - !idris - !phd - !projects - !discord

vor 2 Jahre 🎮

1

0:26

Studying monads - readings papers

vor 3 Jahre 🎮

1

0:30

Idris2 programming - PRs, multiplicities and maybe case trees

vor 3 Jahre 🎮

1

0:30

Studying monads - readings papers

vor 3 Jahre 🎮

1

0:30

Functional Programming in idris

vor 3 Jahre 🎮

1

0:28

Studying monads - readings papers

vor 3 Jahre 🎮

1

0:30

It's RE6 time~

vor 4 Jahre 🎮

1

0:30

Compiler optimisation with Idris and QTT

vor 3 Jahre 🎮

1

0:28

Studying monads - readings papers

vor 3 Jahre 🎮

1

0:30

Generic programming - never write any code ever again

vor 3 Jahre 🎮

next page

next page

next page

next page