1:56:11

Playing with #PureScript libraries for teaching

1:48:34

Data61 fp-course - Part #6: MoreParser, JsonParser

2:49:15

Data61 fp-course - Part #5: State, StateT

1:46:34

Sonic 2 in Haskell: Bindings to the Motorola M68K emulator

2:08:48

Codewars: Scott Encoding in Haskell

1:53:35

Sonic 2 in Haskell: More Collision

51:33

Making Eta work in Nix

3:47:47

Sonic 2 in Haskell: Angle data

3:01:26

Sonic 2 in Haskell: Moving on the ground

4:15:15

Sonic 2 in Haskell: Debugging collision in emulator

2:38:19

Sonic 2 in Haskell: Removing sprite code duplication

2:59:34

Sonic 2 in Haskell: Sprite animation!

3:28:38

Sonic 2 in Haskell: Playing with sprites

4:47

What higher-kinded polymorphism gives me

1:42:20

Data61 fp-course - Part #4: Traversable, Parser

2:00:14

Data61 fp-course - Part #3: Monad, FileIO, Compose, Traversable

2:23:35

Data61 fp-course - Part #2: List, Functor, Applicative

3:02:40

Data61 fp-course - Part #1: syntax, Optional, List

2:35:12

Twitch: Proving things using Agda!

1:29:57

Brian McKenna Innovation Week

None

Brian McKenna Innovation Week

2:48:18

Brian McKenna Innovation Week

16:40

Idris: verifying a monoid

13:15

Idris: Type safe printf

1:00:32

Haskell Tutorial Hangout #1

2:00

Making of "Smooth Jazz Tower Defence" - PyWeek #13

2:47

PyWeek #13 - Smooth Jazz Tower Defence

0:49

Blank Page (PyWeek 2010) Intro

0:51

Blank Page (PyWeek 2010) Level 1

0:18

Blank Page (PyWeek 2010) Blooper

3:46

The Fire Restart - A Secret Worth Keeping