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
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
