This is a redirect to an external site for the page: Rebuilding Operating Systems with Functional Principles. In the future, if the external content disappears then this page will become the permanent home for the content.

---