-
Notifications
You must be signed in to change notification settings - Fork 16
/
min.prelude
31 lines (26 loc) · 1.04 KB
/
min.prelude
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
-- __________ __________ __________ __________ ________
-- / _______/ / ____ / / _______/ / _______/ / ____ \
-- / / _____ / / / / / /______ / /______ / /___/ /
-- / / /_ / / / / / / _______/ / _______/ / __ __/
-- / /___/ / / /___/ / / / / /______ / / \ \
-- /_________/ /_________/ /__/ /_________/ /__/ \__\
--
-- Functional programming environment, Version 2.30
-- Copyright Mark P Jones 1991-1994.
--
-- Minimal Gofer prelude for experimentation with different approaches
-- to standard operations.
--
-- Any Gofer prelude file should typically include at least the following
-- definitions:
infixr 5 :
infixr 3 &&
infixr 2 ||
(&&), (||) :: Bool -> Bool -> Bool
False && _ = False -- (&&) and (||) names predefined in Gofer
True && x = x
False || x = x
True || _ = True
flip :: (a -> b -> c) -> b -> a -> c
flip f x y = f y x
primitive error "primError" :: String -> a