Plait Function 1 - representation

(6:54)

Plait Function 5 - subst

(5:52)

Plait Function 6 - finish interp

(7:5)

Plait Tutorial 2 - calling functions

(4:18)

Plait Function 3 - interp overview

(1:48)

Plait Tutorial 10 - testing

(4:3)

Plait Type 5 - functions

(5:7)

Plait Y 3 - isolate function body

(5:40)

Plait Tutorial 5 - conditionals

(2:18)

Plait Subtyping 5 - function arguments

(4:19)

Plait Type 6 - function calls

(2:26)

Plait Function 2 - parse

(2:31)

Plait Subtyping 4 - function results

(2:51)

Plait Lambda 1 - functions as values

(4:13)

Plait Polymorphism 9 - parameterization over functions and types

(3:28)

Plait Polymorphism 6 - only non-polymorphic values

(4:52)

Plait Compile 5 - continuations and function calls

(4:5)

Quick and easy school hairstyles @Heynuraaa

(22)

Plait Tutorial 1 - simplie values and types

(1:55)