on master help sign in
Merge pull request #2560 from jeremy-w/patch-1

Fix typo in doc comment

commit378bbd6f98f0fa0e587c2f07b02ee2469b004045 authorDavid Christiansen <david@davidchristiansen.dk> dateFri 28 Aug 2015, 08:45 (11 years ago) parent102bd6b5b841fb
1 file changed+1−1
libs/base/System.idr+1−1
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