Introducing Elixir
Dependent Types with Idris
Modern frontend in react.js
Introduction to Dependently Types: Idris