@edwinbrady Hi, Dr. Brady. Will the TypeDD with Idris be published in China? I'm a CS student and translating Idris docs into Chinese, you can view it in http://idris-zh.rtfd.io . I have mailed you about this recently.
Replying to @OlingCat
Hi! I'll reply next week. (short answer: don't know but I'll see if I can find out)
10:17 AM - 15 Mar 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.