Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-02-03

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
20:41 spacekitteh-work joined #isabelle
20:41 spacekitteh-work is it possible to get MaSh to run in parallel?
20:41 spacekitteh-work i'm running an experiment to process the sel4v project with it and it's only doing it single threaded
20:41 spacekitteh-work :(
20:43 spacekitteh-work oh i see why
20:43 spacekitteh-work it's just calling standard list map
20:43 * spacekitteh-work looks to see if there is a parallel map
20:53 spacekitteh-work ugh nope. i need to figure out how to implement it :\
21:05 spacekitteh-work oh
21:05 spacekitteh-work open Par_List
21:05 spacekitteh-work that was simple enough.
21:45 spacekitteh-work is there an "edit and continue" feature for ML, by any chance?

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary