Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: