git.iko.soy/Idris-dev
on b5f2e4d help sign in
Idris-dev/libs/base/System
1 folder, 1 file
../ Concurrency/Changed (<$>) to (<*>) Info.idrAdd a prim__systemInfo primitive.