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