#

co-idris

Here is 1 public repository matching this topic...

hansake / Whitesmiths-Idris-OS

Idris was an operating system developed by Whitesmiths

c history operating-system whitesmiths co-idris

Updated Nov 20, 2021
Shell

Improve this page

Add a description, image, and links to the co-idris topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the co-idris topic, visit your repo's landing page and select "manage topics."