Hi,
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.
/Jonas
Sent from [ProtonMail](https://protonmail.com), Swiss-based encrypted email.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
