Hacker News new | ask | show | jobs
by jockm 351 days ago
I hope one day the source for Whitesmiths unix clone Idris gets released. IIRC it was the first unix clone, and it would just be nice to have that preserved for history
1 comments

Seems you're in luck! Clicking around on the github page of the posted link, one finds https://github.com/hansake/Whitesmiths-Idris-OS .
That is just the binaries, unless I am very much mistaken. I was (trying to) refer to the sources as well
Those look like binaries, not source code?