πš‚πš•πšŠπšŒπš”πš πš’πšœπšŽ is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

@Slackwise *please let TDD in Idris be in please let TDD in Idris be in it*

@grainloom Looks like an only O'Reilly bundle. Also, they may add more later before it ends.

@Slackwise well, I'd mostly only read about Haskell and Idris
(and mayb LISP and Clojure) so I guess I'll just buy that one book on its own

@Slackwise

I already got it! πŸ‘Œ
But how do I download my books? I got an email receipt but no download link πŸ€”

@MutoShack There should be a download link in the email, or a separate email with the download link.

@Slackwise
Interesting... maybe the transaction never completed. I'll check with my bank. Thanks πŸ‘