Stuart Hungerford
Stuart Hungerford
Rather than the packaged downloads I tried again with miniconda and the CQ-editor conda package install. With the QT_MAC_WANTS_LAYER environment variable set that does open. I'm guessing it needs the...
I believe MacOS binaries need to be digitally signed by the developer: https://developer.apple.com/developer-id/. After downloading the pre-built binary on MacOS 11 I was able to get it to open but...
I have the same problem (MacOS and bash).
I get a very similar error on macOS 12.4 (M1).
I'm having the same issues with macOS. This is with SBCL 2.2.5 and the ASDF version it comes with: ``` * (ql:system-apropos "asdf") # # # ... ``` ``` *...
Okay, Following https://www.reddit.com/r/Idris/comments/pc5lib/success_building_native_idris2_on_an_m1_mac/ I followed these steps for a successful installation: Firstly, install the _Racket fork of Chez Scheme_, *not* Cisco Chez Scheme or Racket: ``` cd ~/tmp git clone...
Do these 2020 installation instructions still apply in 2022? I'm seeing the same error from a git clone of master/main.
I think this means that Sets that require custom equality or hash code generation can only be used with classes and methods and not simple objects (for example number[])?
And thanks for creating this project--generative/property testing is so nice to have available.
Sounds good--many thanks.