I (the creator of the REPL) have been writing about this on my blog at http://www.deepbluelambda.org . There is still much I have not yet covered, but it should all show up in the coming weeks.
I (the creator of the REPL) have been writing about this on my blog at http://www.deepbluelambda.org . There is still much I have not yet covered, but it should all show up in the coming weeks.