New Hampshire Crossing
  • FAQ
  • Login
  • Public

    • Public
    • Groups
    • Recent tags
    • Popular
    • Directory

Conversation:

Notices

  1. kat (boneidol)'s status on Tuesday, 13-Mar-2018 12:53:29 EDT kat kat
    Remote profile options...
    I'm going to a discussion on dependent types this evening.
    Tuesday, 13-Mar-2018 12:53:29 EDT from indy.im permalink
    1. kat (boneidol)'s status on Wednesday, 14-Mar-2018 13:05:52 EDT kat kat
      Remote profile options...
      We looked at a language called "Idris", every time the word Functor was mentioned, they asked me to explain it.
      Wednesday, 14-Mar-2018 13:05:52 EDT from indy.im permalink
      1. kat (boneidol)'s status on Wednesday, 14-Mar-2018 19:19:19 EDT kat kat
        Remote profile options...
        https://github.com/TechBookHunter/Free-Haskell-Books/blob/master/book/Type-driven%20Development%20with%20Idris.pdf
        Wednesday, 14-Mar-2018 19:19:19 EDT from indy.im permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

New Hampshire Crossing is a GNU social hub. It runs version 1.1.3-beta3, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All New Hampshire Crossing content and data are available under the Creative Commons Attribution 3.0 license.

Switch to mobile site layout.