<div dir="ltr">Very cool, thank you very much!<br></div><div class="gmail_extra"><br><div class="gmail_quote">2018-05-14 17:23 GMT+03:00 Richard Eisenberg <span dir="ltr"><<a href="mailto:rae@cs.brynmawr.edu" target="_blank">rae@cs.brynmawr.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I just posted a link to my recent paper (<a href="https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf" rel="noreferrer" target="_blank">https://cs.brynmawr.edu/~rae/<wbr>papers/2018/stitch/stitch.pdf</a>) to Reddit.<br>
<br>
While that doesn't focus on dependent types, per se, it gives a good state-of-the-Haskell around features that will one day morph into dependent types.<br>
<br>
Richard<br>
<div><div class="h5"><br>
> On May 14, 2018, at 9:29 AM, Serguey Zefirov <<a href="mailto:sergueyz@gmail.com">sergueyz@gmail.com</a>> wrote:<br>
> <br>
> Can anyone kindly point me at blog posts and/or articles on the subject?<br>
> <br>
> I would like to brush off my Haskell skills in that area with whatever new things that are hot.<br>
> <br>
> 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.<br>
</div></div>> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
<br>
</blockquote></div><br></div>