1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
%include poly.fmt
%if style == newcode
> module InteractivePre where
%endif
%format SPL(x) = $ ( x )
%if style == newcode
%format QU(x) = [ | x | ]
%format ^^ = " "
%else
%format QU(x) = "\llbracket " x "\rrbracket "
%format ^^ = "\; "
%endif
%options ghci -fth -pgmL "../lhs2TeX" -optL-Pdoc: -optL--pre
This is a rather stupid way of computing |42| using
Template Haskell:
> answer = SPL(foldr1 (\x y -> QU(SPL(x) + SPL(y))) (replicate 21 ^^ QU(2)))
The answer is indeed \eval{answer}.
|
