Name change in 'const'
commit7bb506b21ff6ef4de4b7588becd32a53b9e15429
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 3 Aug 2016, 16:25 (10 years ago)
parent9fcea3f
libs/prelude/Prelude/Basics.idr+1−1
@@ -19,7 +19,7 @@ the _ = id
1919
2020||| Constant function. Ignores its second argument.
2121const : a -> b -> a
22−const x = \v => x
22+const x = \value => x
2323
2424||| Return the first element of a pair.
2525fst : (a, b) -> a