peterb
peterb
Sadly this makes things look pretty ridiculous in the Idris translation of the Software Foundations text. :-( 
Please this, yes.
FYI I've been doing a YouTube series using Digital and "Where can I find this?" is the number one question people have. They absolutely are unable to locate the software...
Similar things happen with Logisim. I think this is an interaction with the JRE and the security model. We should probably look beyond the four corners of Digital to see...
I was able to trivially create a launchable `Digital.app` that asks the user for permissions appropriately and can then (if granted) see the relevant folders on my Mac by running...
Yes - I don't think this can or should replace distributing the jar file for Linux; it's just providing a clickable app for MacOS that addresses the security model problems...
I see this also.