sattvik·vor 15 Jahren·discussI (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.