i should have brought my Type Driven Development book with me
gonna have to go through those exercises at some point
blech
it's not that i don't want to, it's that i wanna jump into doing my own projects already
@grainloom Read HoTT (part I), if you haven't already. It would help you grok types and I strongly suspect you would enjoy it.
Not that you should postpone any projects for that, but it's ~so much fun~ you won't really mind. ;>
@timorl oh hec, I started it once
I should probably finish it
I get the basics of pi and sigma types and stuff tho, so I'm more interested in how to Actually Do Stuff In Practice TM
like, I know what a monad is, but right now I'm struggling a bit in making some monadic code less ugly