[Haskell-cafe] Current state of dependent types in Haskell

[Serguey Zefirov]

Can anyone kindly point me at blog posts and/or articles on the subject?

I would like to brush off my Haskell skills in that area with whatever new
things that are hot.

I once implemented type-level arithmetic in Haskell for sizing various
hardware things but it is ages ago now. I would like to experiment with
current state of affairs with type-level arithmetic and possibly experiment
with adding structured values into the constraints.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180514/450bf19c/attachment.html>