>>> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
