sci-mathematics haskell Agda standard library. Install agda-lib-ffi for compilation using the MAlonzo backend agda/agda-stdlib