Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. kat (kat@quitter.se)'s status on Saturday, 04-Nov-2017 19:17:42 EDT kat kat
    @sl2c @efi Don't you mean Homotopy Type Theory  ?  Category theory is so 20th century
    In conversation Saturday, 04-Nov-2017 19:17:42 EDT from quitter.se 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.