Building dependently typed FP language from scratch in Haskell

new tutorial with code and some interesting concepts / questions raised