Yes, I am aware - it is an interesting project. However, it's a couple of steps farther away from JavaScript than I would want to work with.
brian@brianmckenna.org
(also, I'm writing an untyped typeclassopedia for use in my compiler - I'll be releasing it soon - definitely feel that'd be a complement to prelude.ls)
I was looking forward to see your presentation in SpainJS next month, but I might not be able to make it.
Is there any of your roy talks online or any gentle introduction to roy besides roy.brianmckenna.org?
I wrote an article about it for IEEE's Internet Computing magazine: http://brianmckenna.org/blog/roy_ieee
I've also started writing an introduction but it has been shelved while I work on making the typesystem sound.
Hopefully I'll see you at SpainJS if you make it :)