Does anyone know when the Haskell support will be released in public? In the Language support section of
https://wiki.sel4.systems/Suggested%20projects is says that it will be released in the near future, but the page was last edited on June 2016. I propose that the language section also contains links to where the source can be found.
I am also writing since I am working on porting the sel4-tutorial to Idris, which could be added to the list of languages, with a link to
https://github.com/mokshasoft/sel4-idris-manifest There is a long way to go before it is finished, but if people want to help I accept patches.