[FRIAM] talk about rabbit holes ...

[Jon Zingale]

The Basold paper looks really good, I am excited to jump in.
Perhaps as a side note, these are really exciting times. How
wonderful to see the places modern type theory is seeping
its way into the structure and implementation of practical
programs.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20200328/dcd9dec0/attachment.html>