#Erik Meijer FP Foundamentals Notes
- The next 700 programming languages -- Peter Landin // describede DSL 11:25
- One-combinator basis for lambda-terms -- Jeroen Fokker // SKI combinator 21:04
- Static Typing Where Possible, Dynamic Typing When Needed -- Erik Meijer // 24:00
- prove
xs = take n xs ++ drop n xs
// 7:18 - F#
|>
//9:50