3 ms·

Seems you're in luck! Clicking around on the github page of the posted link, one finds https://github.com/hansake/Whitesmiths-Idris-OS https://github.com/hansak

Seems you're in luck! Clicking around on the github page of the posted link, one finds https://github.com/hansake/Whitesmiths-Idris-OS https://github.com/hansake/Whitesmiths-Idris-OS .

jockm 1y ago
That is just the binaries, unless I am very much mistaken. I was (trying to) refer to the sources as well
icedchai 1y ago
Those look like binaries, not source code?