[FRIAM] talk about rabbit holes ...

[Jon Zingale]

Glen, Marcus,

FWIW, I spent the evening sketching out a direction
that could be fruitful when writing the quantifiers
<https://github.com/jonzingale/Haskell/blob/master/Logic/FunctorialLogic.hs>
from
the perspective of an adjoint situation. It would be cool
if it could be easily extended to doing something like
categorical logic within Haskell's fairly limited type system.

Jon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20200327/26e7964c/attachment.html>