ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

(.) should reduce with only two arguments

Browse Source
This commit is contained in:
Edwin Brady 2015-03-17 10:10:14 +00:00
parent 147352c99f
commit e6d1cfdf9b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libs/prelude/Prelude/Basics.idr
View File

@ -31,7 +31,7 @@ infixl 9 .
||| Function composition
(.) : (b -> c) -> (a -> b) -> a -> c
(.) f g x = f (g x)
(.) f g = \x => f (g x)
||| Takes in the first two arguments in reverse order.
||| @ f the function to flip