BetterBanned
.com
KO
홈
현재 온라인
이벤트
도구
리더 보드
Pick your language
English (영어)
Español (스페인어)
Deutsch (독일어)
Français (프랑스어)
한국어 (한국어)
현재 선택된
ภาษาไทย (태국어)
로그인
검색
Find
스트리머들
IdentityGS
클립
IdentityGS
IdentityGS의 이모티콘
IdentityGS의 배지
실시간 시청자 수
클립
실시간 플레이어
클립 페이지
지난 24시간
주간
월간
전체 기간
Alltime Top Clips
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
Programming without a brain- !idris - !phd - !projects - !discord
2 년 전 🎮
4
0:28
Identity hates sets
3 년 전 🎮
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
Clip
Your current Language is: ko
but your preferred detected language is: en
Change the language now
Switch to your browser default language
.