sci-mathematics haskell Agda standard library.