4 ms·Building dependently typed FP language from scratch in Haskell3 points by jhoxray 4y agojhoxray 4y agonew tutorial with code and some interesting concepts / questions raised