Wondering about scientific calculation à la NumPy in Idris. Turns out someone called Ivan Idris has written a book about NumPy. Drat it!
@pozorvlak I'm only half paying attention here, but I suggest you come to St Andrews and we gossip about this some time :)
-
-
@edwinbrady@pozorvlak@aaroncrane jan Edinburgh.pm in St. Andrews? -
@mintywalker@edwinbrady@aaroncrane I'll probably have folks visiting on Thur 23rd, and will be away on Thur 30th :( - 11 more replies
New conversation -
-
-
@edwinbrady Sounds like an excellent idea :-)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.