Ten years ago Dan Piponi's 2006 exploration of this same idea (http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...) inspired me to write the paper "Getting a Quick Fix on Comonads"…
Ten years ago Dan Piponi's 2006 exploration of this same idea (http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...) inspired me to write the paper "Getting a Quick Fix on Comonads"…