<div dir="ltr"><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Glen, Marcus,</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">FWIW, I spent the evening sketching out a direction</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">that could be fruitful when <a href="https://github.com/jonzingale/Haskell/blob/master/Logic/FunctorialLogic.hs">writing the quantifiers</a> from</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">the perspective of an adjoint situation. It would be cool</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">if it could be easily extended to doing something like</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">categorical logic within Haskell's fairly limited type system.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Jon</div></div>