Idris was an operating system developed by Whitesmiths
-
Updated
Nov 20, 2021 - Shell
Idris was an operating system developed by Whitesmiths
Add a description, image, and links to the whitesmiths topic page so that developers can more easily learn about it.
To associate your repository with the whitesmiths topic, visit your repo's landing page and select "manage topics."