I propose that the language section also contains links to where the source can be found.
If there is strong interest, we could probably release the not-quite-working version (for an old version of GHC and an old version of seL4).
I come from the world of C, Java and those types of languages, and I really saw that it was impossible to write something that was correct in them. So I prefer not to stick my nose down to often in the mud of imperative programming :) I am therefore quite interested in the Haskell version! I think that some people have the same feeling as me. One of the reasons to write seL4 was, I presume, to escape the patch cycle, partly that was accomplished through Haskell. Let's not force people to write bad imperative code on something as good as seL4!
Generally I don't think it's a bad idea to release code that is "unfinished", some open-source people even claim that that is better than fixing everything before releasing. It makes it easier for people to get involved, I guess.
Alright, I’ll have another go at investigating the release path, this time for the unfinished version. I hope I can at least pin down for what configurations it was supposed to work. Cheers, Gerwin