Consistent type variable names for fst/snd
commitd23c65303b3a54d52527bd6fa594bf05be18bd18
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 1 Jul 2015, 18:29 (11 years ago)
parentdc27739
libs/prelude/Prelude/Basics.idr+1−1
@@ -20,7 +20,7 @@ const : a -> b -> a
2020const x = \v => x
2121
2222||| Return the first element of a pair.
23−fst : (s, t) -> s
23+fst : (a, b) -> a
2424fst (x, y) = x
2525
2626||| Return the second element of a pair.