Introduction to FP ( https://github.com/rolling-scopes-school/lectures/blob/master/lectures/fp.md )
