Post 2756824 by pybyte@octodon.social
 (DIR) More posts by pybyte@octodon.social
 (DIR) Post #2756824 by pybyte@octodon.social
       2019-01-08T03:19:48Z
       
       1 likes, 1 repeats
       
       Bundled up by the fire, reading about dependent types
       
 (DIR) Post #2756825 by pybyte@octodon.social
       2019-01-08T03:20:45Z
       
       0 likes, 0 repeats
       
       @grainloom Have you checked this out? I'm enjoying it so far.
       
 (DIR) Post #2756826 by grainloom@cybre.space
       2019-01-08T03:26:32Z
       
       0 likes, 0 repeats
       
       @pybyte I've heard about it but not sure I'll read it, I hope the Idris book will be enough. But it definitely seems like a cool book and language!
       
 (DIR) Post #3011795 by pybyte@octodon.social
       2019-01-15T21:45:28Z
       
       0 likes, 0 repeats
       
       @grainloom Woops, forgot to respond.TTT is more of an introduction to what's going on under the hood with a dependently typed language than an introduction to a specific language. Hopefully it'll be a good bridge for studying type theory in depth later.