Public
- Public
- Groups
- Recent tags
- Popular
- Directory

Conversation:

Notices

kat (boneidol)'s status on Tuesday, 13-Mar-2018 12:53:29 EDT 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
  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
    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