Cool, it's always good to see other languages approaches (especially when idiomatic) to try out their way of thinking. > I would very much be interested in the

Cool, it's always good to see other languages approaches (especially when idiomatic) to try out their way of thinking. > I would very much be interested in the dependently typed version. I'll try to get to it later today, I'm pretty busy until then.