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