Samuel Pocino
Results
3
comments of
Samuel Pocino
It's android with racket chez fork, no root
I tried a racket build but it failed when compiling one of the Idris libraries (`Data.Description.Regular`)
I use Fedora 36, and it does have librt. I noticed it attempted to load "liblibrt"