Blog post series

• Introduction to programming (2 posts)
• Introduction to dependent type theory (4 posts)