Fix typo in doc comment
Reported by user Freefood in #idris on Freenode.
commit5b841fb7b183ad6f006fd91f9b04a5ffa004fbda
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateFri 28 Aug 2015, 07:37 (11 years ago)
parent102bd6b
libs/base/System.idr+1−1
@@ -4,7 +4,7 @@ module System
44%default partial
55%access public
66
7−||| Retrieves an value from the environment, if the given key is present,
7+||| Retrieves a value from the environment if the given key is present,
88||| otherwise it returns Nothing.
99getEnv : String -> IO (Maybe String)
1010getEnv key = do