17

0:28

identity showing ofr their french skills

3 년 전 🎮

15

0:22

Identity's take on german

3 년 전 🎮

14

0:11

make the trains go brrrrrr

2 년 전 🎮

13

0:51

Identity challenges sock-sleeping people to league

3 년 전 🎮

13

0:14

Idris is just JavaScript with error messages

4 년 전 🎮

8

0:40

"Morphisms are just functions with extra steps"

3 년 전 🎮

7

0:18

Type numerology

3 년 전 🎮

6

0:09

You dont want to eat an air filter

3 년 전 🎮

6

0:31

identity does js

4 년 전 🎮

6

0:30

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

2 년 전 🎮

6

0:16

Trees go brrrrrrrr

4 년 전 🎮

5

0:34

Type languages are EZ

2 년 전 🎮

5

0:30

Chill Haskell Opengames stream - NOCAM

3 년 전 🎮

5

0:26

animal crossing and code

4 년 전 🎮

5

0:09

Identities

2 년 전 🎮

5

0:14

List and trees

4 년 전 🎮

5

0:18

Parsers gone partial

4 년 전 🎮

4

0:47

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

4 년 전 🎮

4

0:28

Identity hates sets

3 년 전 🎮

4

0:28

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

2 년 전 🎮

4

0:30

Implementing dependent types

3 년 전 🎮

4

0:07

Every game will be in Idris 2 (promise!)

4 년 전 🎮

3

0:30

Dependent types but smart

3 년 전 🎮

3

0:28

Siri tells identity to shut up

3 년 전 🎮

3

0:28

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

4 년 전 🎮

3

0:19

sus

3 년 전 🎮

2

0:26

Idris2 - Ornaments

3 년 전 🎮

2

0:40

todo

3 년 전 🎮

2

0:28

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

2 년 전 🎮

2

0:30

Studying monads - readings papers

3 년 전 🎮

2

0:30

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

2 년 전 🎮

1

0:26

Studying monads - readings papers

3 년 전 🎮

1

0:30

Studying monads - readings papers

3 년 전 🎮

1

0:30

Idris2 programming - PRs, multiplicities and maybe case trees

3 년 전 🎮

1

0:30

Functional Programming in idris

3 년 전 🎮

1

0:28

Studying monads - readings papers

3 년 전 🎮

1

0:30

It's RE6 time~

4 년 전 🎮

1

0:30

Compiler optimisation with Idris and QTT

3 년 전 🎮

1

0:28

Studying monads - readings papers

3 년 전 🎮

1

0:30

Generic programming - never write any code ever again

3 년 전 🎮

next page

next page

next page

next page