'(·)@allgebrahhttp://people.cs.aau.dk/~normark/elucidative-programming/papers/njc-paper.pdf… finally a use for Xanadu? (via @chneukirchen)12:57 AM · Sep 5, 2014·Twitter Web Client