Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. Kat MCP(NT4) MCSE(Win2K) (kat@mastodon.social)'s status on Friday, 28-Jun-2019 04:56:24 EDT Kat MCP(NT4) MCSE(Win2K) Kat MCP(NT4) MCSE(Win2K)

    It just occurred to me that...

    If you are preparing a cucumber for a greek salad, that it DOES NOT MATTER if you cut the cumber radially ( into circles) and then cut those into quarters.

    OR

    If you cut the cucumber along it's long axis into quarters, and then chop those into smaller pieces.

    And this is a real world application of Theorems for Free, Wadler 1989

    https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf

    In conversation Friday, 28-Jun-2019 04:56:24 EDT from mastodon.social permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.