/usr/local/bin/diffoscope --jquery http://code.jquery.com/jquery-2.2.4.min.js --html-dir /tank/diffoscope/hope-1.1_1 /usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build1/All/hope-1.1_1.txz /usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build2/All/hope-1.1

/usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build1/All/hope-1.1_1.txz vs.

/usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build2/All/hope-1.1_1.txz ¶

hope-1.1_1.txz-content ¶

file list ¶

+COMPACT_MANIFEST ¶

+MANIFEST ¶

/usr/local/share/doc/hope/examples.dvi.gz ¶

metadata ¶

examples.dvi ¶

/usr/local/share/doc/hope/examples.ps.gz ¶

metadata ¶

examples.ps ¶

/usr/local/share/doc/hope/hope_tut.dvi.gz ¶

metadata ¶

hope_tut.dvi ¶

/usr/local/share/doc/hope/hope_tut.ps.gz ¶

metadata ¶

hope_tut.ps ¶

/usr/local/share/doc/hope/ref_man.dvi.gz ¶

metadata ¶

ref_man.dvi ¶

/usr/local/share/doc/hope/ref_man.ps.gz ¶

metadata ¶

ref_man.ps ¶

/usr/local/share/doc/hope/ref_man/internals.pl ¶

/usr/local/share/doc/hope/ref_man/labels.pl ¶

Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	{"name":"hope","origin":"lang/hope","version":"1.1_1","comment":"Hope·is·lazy·interpreter·for·HOPE·applicative·language","maintainer":"lev@FreeBSD.org","www":"http://www.soi.city.ac.uk/~ross/Hope/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":735327,"licenselogic":"single","desc":"HOPE·is·simple·applicative·(functional)·language.\nIt·was·been·used·in·\"Functional·Programming\"·book·by·Anthony·J.·Field·and\nPeter·G.·Harrison.\n\nThis·port·installs·simple·lazy·interpreter·of·hope.\nAuthor·of·this·interpreter·is·Ross·Paterson·<ross@soi.city.ac.uk>.·\n\nWWW:·http://www.soi.city.ac.uk/~ross/Hope/","categories":["lang"],"options":{"DOCS":"on"}}	1	{"name":"hope","origin":"lang/hope","version":"1.1_1","comment":"Hope·is·lazy·interpreter·for·HOPE·applicative·language","maintainer":"lev@FreeBSD.org","www":"http://www.soi.city.ac.uk/~ross/Hope/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":735333,"licenselogic":"single","desc":"HOPE·is·simple·applicative·(functional)·language.\nIt·was·been·used·in·\"Functional·Programming\"·book·by·Anthony·J.·Field·and\nPeter·G.·Harrison.\n\nThis·port·installs·simple·lazy·interpreter·of·hope.\nAuthor·of·this·interpreter·is·Ross·Paterson·<ross@soi.city.ac.uk>.·\n\nWWW:·http://www.soi.city.ac.uk/~ross/Hope/","categories":["lang"],"options":{"DOCS":"on"}}

Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	{"name":"hope","origin":"lang/hope","version":"1.1_1","comment":"Hope·is·lazy·interpreter·for·HOPE·applicative·language","maintainer":"lev@FreeBSD.org","www":"http://www.soi.city.ac.uk/~ross/Hope/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":735327,"licenselogic":"single","desc":"HOPE·is·simple·applicative·(functional)·language.\nIt·was·been·used·in·\"Functional·Programming\"·book·by·Anthony·J.·Field·and\nPeter·G.·Harrison.\n\nThis·port·installs·simple·lazy·interpreter·of·hope.\nAuthor·of·this·interpreter·is·Ross·Paterson·<ross@soi.city.ac.uk>.·\n\nWWW:·http://www.soi.city.ac.uk/~ross/Hope/","categories":["lang"],"options":{"DOCS":"on"},"files":{"/usr/local/bin/hope":"1$f9e2e424a38acf35d523bb8b070e53ba0f5c9a542e162e4ee2a46489cb526090","/usr/local/man/man1/hope.1.gz":"1$694e62630d7a7965def83831ac2b85abdb86dacc5a5cd43af1b259684af0cb44","/usr/local/share/hope/lib.new/Standard.hop":"1$920e927b3ab0894a0522a78892c3e19acfe17d27d24b4b50559d01f51a61d42d","/usr/local/share/hope/·✂	1	{"name":"hope","origin":"lang/hope","version":"1.1_1","comment":"Hope·is·lazy·interpreter·for·HOPE·applicative·language","maintainer":"lev@FreeBSD.org","www":"http://www.soi.city.ac.uk/~ross/Hope/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":735333,"licenselogic":"single","desc":"HOPE·is·simple·applicative·(functional)·language.\nIt·was·been·used·in·\"Functional·Programming\"·book·by·Anthony·J.·Field·and\nPeter·G.·Harrison.\n\nThis·port·installs·simple·lazy·interpreter·of·hope.\nAuthor·of·this·interpreter·is·Ross·Paterson·<ross@soi.city.ac.uk>.·\n\nWWW:·http://www.soi.city.ac.uk/~ross/Hope/","categories":["lang"],"options":{"DOCS":"on"},"files":{"/usr/local/bin/hope":"1$f9e2e424a38acf35d523bb8b070e53ba0f5c9a542e162e4ee2a46489cb526090","/usr/local/man/man1/hope.1.gz":"1$694e62630d7a7965def83831ac2b85abdb86dacc5a5cd43af1b259684af0cb44","/usr/local/share/hope/lib.new/Standard.hop":"1$920e927b3ab0894a0522a78892c3e19acfe17d27d24b4b50559d01f51a61d42d","/usr/local/share/hope/·✂

Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	gzip·compressed·data,·last·modified:·Sat·Jun·11·01:00:42·2016,·from·Unix	1	gzip·compressed·data,·last·modified:·Sun·Jun·12·09:43:11·2016,·from·Unix

Offset 20, 25 lines modified		Offset 20, 25 lines modified
20	-rw-r--r--···0·root·········(0)·wheel········(0)······678·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/set.hop	20	-rw-r--r--···0·root·········(0)·wheel········(0)······678·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/set.hop
21	-rw-r--r--···0·root·········(0)·wheel········(0)·····1891·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/sort.hop	21	-rw-r--r--···0·root·········(0)·wheel········(0)·····1891·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/sort.hop
22	-rw-r--r--···0·root·········(0)·wheel········(0)······313·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/sums.hop	22	-rw-r--r--···0·root·········(0)·wheel········(0)······313·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/sums.hop
23	-rw-r--r--···0·root·········(0)·wheel········(0)······985·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/tree.hop	23	-rw-r--r--···0·root·········(0)·wheel········(0)······985·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/tree.hop
24	-rw-r--r--···0·root·········(0)·wheel········(0)·······22·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/void.hop	24	-rw-r--r--···0·root·········(0)·wheel········(0)·······22·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/void.hop
25	-rw-r--r--···0·root·········(0)·wheel········(0)······556·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/words.hop	25	-rw-r--r--···0·root·········(0)·wheel········(0)······556·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/words.hop
26	-rw-r--r--···0·root·········(0)·wheel········(0)······224·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/y.hop	26	-rw-r--r--···0·root·········(0)·wheel········(0)······224·2016-04-21·19:48:20.000000·/usr/local/share/hope/lib/y.hop
27	-rw-r--r--···0·root·········(0)·wheel········(0)·····3291·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples.dvi.gz	27	-rw-r--r--···0·root·········(0)·wheel········(0)·····3293·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples.dvi.gz
28	-rw-r--r--···0·root·········(0)·wheel········(0)···101572·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples.ps.gz	28	-rw-r--r--···0·root·········(0)·wheel········(0)···101575·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples.ps.gz
29	-rw-r--r--···0·root·········(0)·wheel········(0)······891·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/examples.css	29	-rw-r--r--···0·root·········(0)·wheel········(0)······891·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/examples.css
30	-rw-r--r--···0·root·········(0)·wheel········(0)·····1346·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/examples.html	30	-rw-r--r--···0·root·········(0)·wheel········(0)·····1346·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/examples.html
31	-rw-r--r--···0·root·········(0)·wheel········(0)·····1346·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/index.html	31	-rw-r--r--···0·root·········(0)·wheel········(0)·····1346·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/index.html
32	-rw-r--r--···0·root·········(0)·wheel········(0)······160·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/labels.pl	32	-rw-r--r--···0·root·········(0)·wheel········(0)······160·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/labels.pl
33	-rw-r--r--···0·root·········(0)·wheel········(0)·····1514·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node1.html	33	-rw-r--r--···0·root·········(0)·wheel········(0)·····1514·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node1.html
34	-rw-r--r--···0·root·········(0)·wheel········(0)·····1648·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node2.html	34	-rw-r--r--···0·root·········(0)·wheel········(0)·····1648·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node2.html
35	-rw-r--r--···0·root·········(0)·wheel········(0)·····2256·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node3.html	35	-rw-r--r--···0·root·········(0)·wheel········(0)·····2256·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node3.html
36	-rw-r--r--···0·root·········(0)·wheel········(0)·····4677·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node4.html	36	-rw-r--r--···0·root·········(0)·wheel········(0)·····4677·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/examples/node4.html
37	-rw-r--r--···0·root·········(0)·wheel········(0)····26011·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut.dvi.gz	37	-rw-r--r--···0·root·········(0)·wheel········(0)····26012·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut.dvi.gz
38	-rw-r--r--···0·root·········(0)·wheel········(0)···120677·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut.ps.gz	38	-rw-r--r--···0·root·········(0)·wheel········(0)···120677·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut.ps.gz
39	-rw-r--r--···0·root·········(0)·wheel········(0)·······43·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/WARNINGS	39	-rw-r--r--···0·root·········(0)·wheel········(0)·······43·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/WARNINGS
40	-rw-r--r--···0·root·········(0)·wheel········(0)······891·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/hope_tut.css	40	-rw-r--r--···0·root·········(0)·wheel········(0)······891·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/hope_tut.css
41	-rw-r--r--···0·root·········(0)·wheel········(0)·····3021·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/hope_tut.html	41	-rw-r--r--···0·root·········(0)·wheel········(0)·····3021·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/hope_tut.html
42	-rw-r--r--···0·root·········(0)·wheel········(0)·····3021·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/index.html	42	-rw-r--r--···0·root·········(0)·wheel········(0)·····3021·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/index.html
43	-rw-r--r--···0·root·········(0)·wheel········(0)······160·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/labels.pl	43	-rw-r--r--···0·root·········(0)·wheel········(0)······160·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/labels.pl
44	-rw-r--r--···0·root·········(0)·wheel········(0)·····1652·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/node1.html	44	-rw-r--r--···0·root·········(0)·wheel········(0)·····1652·2016-04-21·19:48:20.000000·/usr/local/share/doc/hope/hope_tut/node1.html

Offset 1, 23 lines modified		Offset 1, 23 lines modified
1	00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·	1	00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
2	00000010:·5465·5820·6f75·7470·7574·2032·3031·362e··TeX·output·2016.	2	00000010:·5465·5820·6f75·7470·7574·2032·3031·362e··TeX·output·2016.
3	00000020:·3036·2e31·313a·3031·3030·8b00·0000·0100··06.11:0~~100~~......	3	00000020:·3036·2e31·323a·3039·3433·8b00·0000·0100··06.12:0943......
4	00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................	4	00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
5	00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................	5	00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
6	00000050:·0000·00ff·ffff·ffa0·0279·0000·8da0·fda3··.........y......	6	00000050:·0000·00ff·ffff·ffa0·0279·0000·8da0·fda3··.........y......
7	00000060:·0000·a002·3f00·008d·a0fe·0e00·028d·9200··....?...........	7	00000060:·0000·a002·3f00·008d·a0fe·0e00·028d·9200··....?...........
8	00000070:·a11a·52f3·0e44·d3ed·7400·1147·ae00·1147··..R..D..t..G...G	8	00000070:·a11a·52f3·0e44·d3ed·7400·1147·ae00·1147··..R..D..t..G...G
9	00000080:·ae00·0563·6d72·3137·b953·6f6d·6596·0537··...cmr17.Some..7	9	00000080:·ae00·0563·6d72·3137·b953·6f6d·6596·0537··...cmr17.Some..7
10	00000090:·7448·6f70·9073·8e65·9365·7861·6d70·6c65··tHop.s.e.example	10	00000090:·7448·6f70·9073·8e65·9365·7861·6d70·6c65··tHop.s.e.example
11	000000a0:·738e·9f1d·0001·8d8d·8d8d·8d92·00c6·2ce5··s.............,.	11	000000a0:·738e·9f1d·0001·8d8d·8d8d·8d92·00c6·2ce5··s.............,.
12	000000b0:·f30f·58ab·510b·000c·0000·000c·0000·0005··..X.Q...........	12	000000b0:·f30f·58ab·510b·000c·0000·000c·0000·0005··..X.Q...........
13	000000c0:·636d·7231·32ba·526f·7373·9103·eaa8·5090··cmr12.Ross....P.	13	000000c0:·636d·7231·32ba·526f·7373·9103·eaa8·5090··cmr12.Ross....P.
14	000000d0:·ac72·6174·6572·736f·6e8e·8e8e·8e8e·9f17··.raterson.......	14	000000d0:·ac72·6174·6572·736f·6e8e·8e8e·8e8e·9f17··.raterson.......
15	000000e0:·666a·8d92·00c7·2b79·4a75·6e65·9603·eaa8··fj....+yJune....	15	000000e0:·666a·8d92·00c7·2b79·4a75·6e65·9603·eaa8··fj....+yJune....
16	000000f0:·3131·2c93·3230·3136·8e9f·2b11·c48d·8d91··11,.2016..+.....	16	000000f0:·3132·2c93·3230·3136·8e9f·2b11·c48d·8d91··12,.2016..+.....
17	00000100:·3e00·00f3·19c2·d64e·a000·0e66·6600·0c00··>......N...ff...	17	00000100:·3e00·00f3·19c2·d64e·a000·0e66·6600·0c00··>......N...ff...
18	00000110:·0000·0663·6d62·7831·32c4·318e·9156·4ccb··...cmbx12.1..VL.	18	00000110:·0000·0663·6d62·7831·32c4·318e·9156·4ccb··...cmbx12.1..VL.
19	00000120:·5468·6596·0566·6646·9bfe·a666·6163·746f··The..ffF...facto	19	00000120:·5468·6596·0566·6646·9bfe·a666·6163·746f··The..ffF...facto
20	00000130:·7269·616c·9346·9875·6e63·7469·6f6e·8e9f··rial.F.unction..	20	00000130:·7269·616c·9346·9875·6e63·7469·6f6e·8e9f··rial.F.unction..
21	00000140:·15e7·1b8d·913e·0000·f307·4bf1·6079·000a··.....>....K.`y..	21	00000140:·15e7·1b8d·913e·0000·f307·4bf1·6079·000a··.....>....K.`y..
22	00000150:·0000·000a·0000·0005·636d·7231·30b2·4669··........cmr10.Fi	22	00000150:·0000·000a·0000·0005·636d·7231·30b2·4669··........cmr10.Fi
23	00000160:·7273·742c·9603·5555·7468·6593·7573·7561··rst,..UUthe.usua	23	00000160:·7273·742c·9603·5555·7468·6593·7573·7561··rst,..UUthe.usua

Offset 1, 21 lines modified		Offset 1, 21 lines modified
1	%!PS-Adobe-2.0	1	%!PS-Adobe-2.0
2	%%Creator:·dvips(k)·5.995·Copyright·2015·Radical·Eye·Software	2	%%Creator:·dvips(k)·5.995·Copyright·2015·Radical·Eye·Software
3	%%Title:·examples.dvi	3	%%Title:·examples.dvi
4	%%CreationDate:·Sat·Jun·11·01:00:44·2016	4	%%CreationDate:·Sun·Jun·12·09:43:13·2016
5	%%Pages:·5	5	%%Pages:·5
6	%%PageOrder:·Ascend	6	%%PageOrder:·Ascend
7	%%BoundingBox:·0·0·596·842	7	%%BoundingBox:·0·0·596·842
8	%%DocumentFonts:·CMR17·CMR12·CMBX12·CMR10·CMTT10·CMSY10·CMTI10	8	%%DocumentFonts:·CMR17·CMR12·CMBX12·CMR10·CMTT10·CMSY10·CMTI10
9	%%DocumentPaperSizes:·a4	9	%%DocumentPaperSizes:·a4
10	%%EndComments	10	%%EndComments
11	%DVIPSWebPage:·(www.radicaleye.com)	11	%DVIPSWebPage:·(www.radicaleye.com)
12	%DVIPSCommandLine:·dvips·examples·-o·examples.ps	12	%DVIPSCommandLine:·dvips·examples·-o·examples.ps
13	%DVIPSParameters:·dpi=600	13	%DVIPSParameters:·dpi=600
14	%DVIPSSource:··TeX·output·2016.06.11:0~~100~~	14	%DVIPSSource:··TeX·output·2016.06.12:0943
15	%%BeginProcSet:·tex.pro·0·0	15	%%BeginProcSet:·tex.pro·0·0
16	%!	16	%!
17	/TeXDict·300·dict·def·TeXDict·begin/N{def}def/B{bind·def}N/S{exch}N/X{S	17	/TeXDict·300·dict·def·TeXDict·begin/N{def}def/B{bind·def}N/S{exch}N/X{S
18	N}B/A{dup}B/TR{translate}N/isls·false·N/vsize·11·72·mul·N/hsize·8.5·72	18	N}B/A{dup}B/TR{translate}N/isls·false·N/vsize·11·72·mul·N/hsize·8.5·72
19	mul·N/landplus90{false}def/@rigin{isls{[0·landplus90{1·-1}{-1·1}ifelse·0	19	mul·N/landplus90{false}def/@rigin{isls{[0·landplus90{1·-1}{-1·1}ifelse·0
20	0·0]concat}if·72·Resolution·div·72·VResolution·div·neg·scale·isls{	20	0·0]concat}if·72·Resolution·div·72·VResolution·div·neg·scale·isls{
21	landplus90{VResolution·72·div·vsize·mul·0·exch}{Resolution·-72·div·hsize	21	landplus90{VResolution·72·div·vsize·mul·0·exch}{Resolution·-72·div·hsize
Offset 3014, 15 lines modified		Offset 3014, 15 lines modified
3014	{·/a4·where·{·pop·a4·}·if·}	3014	{·/a4·where·{·pop·a4·}·if·}
3015	ifelse	3015	ifelse
3016	%%EndPaperSize	3016	%%EndPaperSize
3017	·end	3017	·end
3018	%%EndSetup	3018	%%EndSetup
3019	%%Page:·1·1	3019	%%Page:·1·1
3020	TeXDict·begin·1·0·bop·1338·872·a·Fg(Some)43·b(Hop)t(e)h(examples)1645	3020	TeXDict·begin·1·0·bop·1338·872·a·Fg(Some)43·b(Hop)t(e)h(examples)1645
3021	1112·y·Ff(Ross)33·b(P)m(aterson)1654·1307·y(June)g(11,)f(2016)515	3021	1112·y·Ff(Ross)33·b(P)m(aterson)1654·1307·y(June)g(12,)f(2016)515
3022	1664·y·Fe(1)134·b(The)45·b(F)-11·b(actorial)46·b(F)-11	3022	1664·y·Fe(1)134·b(The)45·b(F)-11·b(actorial)46·b(F)-11
3023	b(unction)515·1846·y·Fd(First,)27·b(the)h(usual)g(recursiv)n(e)d(v)n	3023	b(unction)515·1846·y·Fd(First,)27·b(the)h(usual)g(recursiv)n(e)d(v)n
3024	(ersion:)733·2012·y·Fc(dec)42·b(fact)g(:)h(num)f(->)h(num;)733	3024	(ersion:)733·2012·y·Fc(dec)42·b(fact)g(:)h(num)f(->)h(num;)733
3025	2112·y(---)f(fact)g(0)h(<=)g(1;)733·2211·y(---)f(fact)g(n)h(<=)g	3025	2112·y(---)f(fact)g(0)h(<=)g(1;)733·2211·y(---)f(fact)g(n)h(<=)g
3026	(n*fact\(n-1\);)515·2378·y·Fd(Note)38·b(that)h(Hop)r(e)g(uses)f(b)r	3026	(n*fact\(n-1\);)515·2378·y·Fd(Note)38·b(that)h(Hop)r(e)g(uses)f(b)r
3027	(est-\014t)g(pattern)h(matc)n(hing,)h(so)e(that)h(the)g(second)e	3027	(est-\014t)g(pattern)h(matc)n(hing,)h(so)e(that)h(the)g(second)e
3028	(clause)h(is)515·2477·y(c)n(hosen)23·b(only)i(if)g·Fc(n)f	3028	(clause)h(is)515·2477·y(c)n(hosen)23·b(only)i(if)g·Fc(n)f

Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·	1	00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
2	00000010:·5465·5820·6f75·7470·7574·2032·3031·362e··TeX·output·2016.	2	00000010:·5465·5820·6f75·7470·7574·2032·3031·362e··TeX·output·2016.
3	00000020:·3036·2e31·313a·3031·3030·8b00·0000·0100··06.11:0~~100~~......	3	00000020:·3036·2e31·323a·3039·3433·8b00·0000·0100··06.12:0943......
4	00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................	4	00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
5	00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................	5	00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
6	00000050:·0000·00ff·ffff·ffa0·02bf·99ac·8da0·fd4c··...............L	6	00000050:·0000·00ff·ffff·ffa0·02bf·99ac·8da0·fd4c··...............L
7	00000060:·6654·a002·9599·ac8d·a0fd·ba4c·be8d·9200··fT.........L....	7	00000060:·6654·a002·9599·ac8d·a0fd·ba4c·be8d·9200··fT.........L....
8	00000070:·98aa·b6f3·0f44·d3ed·7400·1147·ae00·1147··.....D..t..G...G	8	00000070:·98aa·b6f3·0f44·d3ed·7400·1147·ae00·1147··.....D..t..G...G
9	00000080:·ae00·0563·6d72·3137·ba41·9605·3774·484f··...cmr17.A..7tHO	9	00000080:·ae00·0563·6d72·3137·ba41·9605·3774·484f··...cmr17.A..7tHO
10	00000090:·5045·9354·5554·4f52·4941·4c8e·9f1e·6ccf··PE.TUTORIAL...l.	10	00000090:·5045·9354·5554·4f52·4941·4c8e·9f1e·6ccf··PE.TUTORIAL...l.

Offset 1, 22 lines modified		Offset 1, 22 lines modified
1	%!PS-Adobe-2.0	1	%!PS-Adobe-2.0
2	%%Creator:·dvips(k)·5.995·Copyright·2015·Radical·Eye·Software	2	%%Creator:·dvips(k)·5.995·Copyright·2015·Radical·Eye·Software
3	%%Title:·ref_man.dvi	3	%%Title:·ref_man.dvi
4	%%CreationDate:·Sat·Jun·11·01:00:43·2016	4	%%CreationDate:·Sun·Jun·12·09:43:12·2016
5	%%Pages:·13	5	%%Pages:·13
6	%%PageOrder:·Ascend	6	%%PageOrder:·Ascend
7	%%BoundingBox:·0·0·596·842	7	%%BoundingBox:·0·0·596·842
8	%%DocumentFonts:·CMR17·CMR12·CMR10·CMCSC10·CMBX12·CMSY10·CMTT10·CMTI10	8	%%DocumentFonts:·CMR17·CMR12·CMR10·CMCSC10·CMBX12·CMSY10·CMTT10·CMTI10
9	%%+·CMR8·CMMI8·CMSY8·CMBX10	9	%%+·CMR8·CMMI8·CMSY8·CMBX10
10	%%DocumentPaperSizes:·a4	10	%%DocumentPaperSizes:·a4
11	%%EndComments	11	%%EndComments
12	%DVIPSWebPage:·(www.radicaleye.com)	12	%DVIPSWebPage:·(www.radicaleye.com)
13	%DVIPSCommandLine:·dvips·ref_man·-o·ref_man.ps	13	%DVIPSCommandLine:·dvips·ref_man·-o·ref_man.ps
14	%DVIPSParameters:·dpi=600	14	%DVIPSParameters:·dpi=600
15	%DVIPSSource:··TeX·output·2016.06.11:0~~100~~	15	%DVIPSSource:··TeX·output·2016.06.12:0943
16	%%BeginProcSet:·tex.pro·0·0	16	%%BeginProcSet:·tex.pro·0·0
17	%!	17	%!
18	/TeXDict·300·dict·def·TeXDict·begin/N{def}def/B{bind·def}N/S{exch}N/X{S	18	/TeXDict·300·dict·def·TeXDict·begin/N{def}def/B{bind·def}N/S{exch}N/X{S
19	N}B/A{dup}B/TR{translate}N/isls·false·N/vsize·11·72·mul·N/hsize·8.5·72	19	N}B/A{dup}B/TR{translate}N/isls·false·N/vsize·11·72·mul·N/hsize·8.5·72
20	mul·N/landplus90{false}def/@rigin{isls{[0·landplus90{1·-1}{-1·1}ifelse·0	20	mul·N/landplus90{false}def/@rigin{isls{[0·landplus90{1·-1}{-1·1}ifelse·0
21	0·0]concat}if·72·Resolution·div·72·VResolution·div·neg·scale·isls{	21	0·0]concat}if·72·Resolution·div·72·VResolution·div·neg·scale·isls{
22	landplus90{VResolution·72·div·vsize·mul·0·exch}{Resolution·-72·div·hsize	22	landplus90{VResolution·72·div·vsize·mul·0·exch}{Resolution·-72·div·hsize
Offset 4892, 15 lines modified		Offset 4892, 15 lines modified
4892	ifelse	4892	ifelse
4893	%%EndPaperSize	4893	%%EndPaperSize
4894	·end	4894	·end
4895	%%EndSetup	4895	%%EndSetup
4896	%%Page:·1·1	4896	%%Page:·1·1
4897	TeXDict·begin·1·0·bop·974·763·a·Fm(A)44·b(Hop)t(e)g(In)l(terpreter)g(\|)	4897	TeXDict·begin·1·0·bop·974·763·a·Fm(A)44·b(Hop)t(e)g(In)l(terpreter)g(\|)
4898	f(Reference)1611·1016·y·Fl(Ross)33·b(P)m(aterson)1619	4898	f(Reference)1611·1016·y·Fl(Ross)33·b(P)m(aterson)1619
4899	1219·y(June)h(11,)e(2016)216·1565·y·Fk(This)i(man)m(ual)i(is)f(not)g(a)	4899	1219·y(June)h(12,)e(2016)216·1565·y·Fk(This)i(man)m(ual)i(is)f(not)g(a)
4900	h(tutorial)g(on)f(functional)g(programming,)i(or)e(on)g(the)g(language)	4900	h(tutorial)g(on)f(functional)g(programming,)i(or)e(on)g(the)g(language)
4901	h·Fj(Hope)p·Fk(.)54·b(If)75·1677·y(y)m(ou)31·b(don't)f(kno)m(w)g(ab)s	4901	h·Fj(Hope)p·Fk(.)54·b(If)75·1677·y(y)m(ou)31·b(don't)f(kno)m(w)g(ab)s
4902	(out)h(b)s(oth,)e(y)m(ou)i(migh)m(t)g(start)g(with)f(something)h(lik)m	4902	(out)h(b)s(oth,)e(y)m(ou)i(migh)m(t)g(start)g(with)f(something)h(lik)m
4903	(e)h(Roger)f(Bailey's)h(tutorial)g([1].)75·1963·y·Fi(1)135	4903	(e)h(Roger)f(Bailey's)h(tutorial)g([1].)75·1963·y·Fi(1)135
4904	b(Lexical)46·b(structure)75·2166·y·Fk(The)30·b(input)f(is)i(divided)e	4904	b(Lexical)46·b(structure)75·2166·y·Fk(The)30·b(input)f(is)i(divided)e
4905	(in)m(to)j(a)f(sequence)f(of)h(sym)m(b)s(ols)f(of)g(the)h(follo)m(wing)	4905	(in)m(to)j(a)f(sequence)f(of)h(sym)m(b)s(ols)f(of)g(the)h(follo)m(wing)
4906	h(kinds:)211·2351·y·Fh(\017)46·b·Fk(a)31·b(punctuation)f(c)m(haracter:)	4906	h(kinds:)211·2351·y·Fh(\017)46·b·Fk(a)31·b(punctuation)f(c)m(haracter:)

Offset 1, 86 lines modified		Offset 1, 86 lines modified
1	#·LaTeX2HTML·2008·(1.71)	1	#·LaTeX2HTML·2008·(1.71)
2	#·Associate·internals·original·text·with·physical·files.	2	#·Associate·internals·original·text·with·physical·files.


3	$key·=·q/sec~~:pat~~te~~rn-matc~~h~~ing~~/;	3	$key·=·q/cite_hope/;
4	$ref_files{$key}·=·"$dir".q\|node10.html\|;·	4	$ref_files{$key}·=·"$dir".q\|node11.html\|;·
5	$noresave{$key}·=·"$nosave";	5	$noresave{$key}·=·"$nosave";

6	$key·=·q/sec:~~deviat~~ions/;	6	$key·=·q/sec:expressions/;
7	$ref_files{$key}·=·"$dir".q\|node15.html\|;·	7	$ref_files{$key}·=·"$dir".q\|node8.html\|;·
8	$noresave{$key}·=·"$nosave";	8	$noresave{$key}·=·"$nosave";

9	$key·=·q/c~~ite_hope~~/;	9	$key·=·q/sec:patterns/;
10	$ref_files{$key}·=·"$dir".q\|node11.html\|;·	10	$ref_files{$key}·=·"$dir".q\|node7.html\|;·
11	$noresave{$key}·=·"$nosave";	11	$noresave{$key}·=·"$nosave";

12	$key·=·q/sec:t~~ype~~s/;	12	$key·=·q/sec:deviations/;
13	$ref_files{$key}·=·"$dir".q\|node6.html\|;·	13	$ref_files{$key}·=·"$dir".q\|node15.html\|;·
14	$noresave{$key}·=·"$nosave";	14	$noresave{$key}·=·"$nosave";

15	$key·=·q/sec:~~modul~~es/;	15	$key·=·q/sec:identifiers/;
16	$ref_files{$key}·=·"$dir".q\|node4.html\|;·	16	$ref_files{$key}·=·"$dir".q\|node2.html\|;·
17	$noresave{$key}·=·"$nosave";	17	$noresave{$key}·=·"$nosave";

18	$key·=·q/cite_field_SPMamp_harrison/;	18	$key·=·q/cite_field_SPMamp_harrison/;
19	$ref_files{$key}·=·"$dir".q\|node11.html\|;·	19	$ref_files{$key}·=·"$dir".q\|node11.html\|;·
20	$noresave{$key}·=·"$nosave";	20	$noresave{$key}·=·"$nosave";

21	$key·=·q/sec:~~functor~~s/;	21	$key·=·q/sec:commands/;
22	$ref_files{$key}·=·"$dir".q\|node17.html\|;·	22	$ref_files{$key}·=·"$dir".q\|node9.html\|;·
23	$noresave{$key}·=·"$nosave";	23	$noresave{$key}·=·"$nosave";

24	$key·=·q/sec:~~lexical~~/;	24	$key·=·q/sec:composite/;
25	$ref_files{$key}·=·"$dir".q\|node1.html\|;·	25	$ref_files{$key}·=·"$dir".q\|node3.html\|;·
26	$noresave{$key}·=·"$nosave";	26	$noresave{$key}·=·"$nosave";

27	$key·=·q/sec:~~pat~~terns/;	27	$key·=·q/sec:definitions/;
28	$ref_files{$key}·=·"$dir".q\|node7.html\|;·	28	$ref_files{$key}·=·"$dir".q\|node5.html\|;·
29	$noresave{$key}·=·"$nosave";	29	$noresave{$key}·=·"$nosave";

30	$key·=·q/sec:~~composite~~/;	30	$key·=·q/sec:regular/;
31	$ref_files{$key}·=·"$dir".q\|node3.html\|;·	31	$ref_files{$key}·=·"$dir".q\|node16.html\|;·
32	$noresave{$key}·=·"$nosave";	32	$noresave{$key}·=·"$nosave";

33	$key·=·q/~~cite_tu~~tor~~ial~~/;	33	$key·=·q/sec:functors/;
34	$ref_files{$key}·=·"$dir".q\|node11.html\|;·	34	$ref_files{$key}·=·"$dir".q\|node17.html\|;·
35	$noresave{$key}·=·"$nosave";	35	$noresave{$key}·=·"$nosave";

36	$key·=·q/~~number~~s/;	36	$key·=·q/sec:types/;
37	$ref_files{$key}·=·"$dir".q\|node1.html\|;·	37	$ref_files{$key}·=·"$dir".q\|node6.html\|;·
38	$noresave{$key}·=·"$nosave";	38	$noresave{$key}·=·"$nosave";

39	$key·=·q/~~cit~~e_ba~~iley~~/;	39	$key·=·q/operators/;
40	$ref_files{$key}·=·"$dir".q\|node11.html\|;·	40	$ref_files{$key}·=·"$dir".q\|node2.html\|;·
41	$noresave{$key}·=·"$nosave";	41	$noresave{$key}·=·"$nosave";

42	$key·=·q/sec:~~com~~ma~~nds~~/;	42	$key·=·q/sec:pattern-matching/;
43	$ref_files{$key}·=·"$dir".q\|node9.html\|;·	43	$ref_files{$key}·=·"$dir".q\|node10.html\|;·
44	$noresave{$key}·=·"$nosave";	44	$noresave{$key}·=·"$nosave";

45	$key·=·q/sec~~:express~~i~~ons~~/;	45	$key·=·q/cite_bailey/;
46	$ref_files{$key}·=·"$dir".q\|node8.html\|;·	46	$ref_files{$key}·=·"$dir".q\|node11.html\|;·
47	$noresave{$key}·=·"$nosave";	47	$noresave{$key}·=·"$nosave";

48	$key·=·q/sec:~~regul~~ar/;	48	$key·=·q/sec:standard/;
49	$ref_files{$key}·=·"$dir".q\|node16.html\|;·	49	$ref_files{$key}·=·"$dir".q\|node12.html\|;·
50	$noresave{$key}·=·"$nosave";	50	$noresave{$key}·=·"$nosave";

51	$key·=·q/sec:ident~~ifiers~~/;	51	$key·=·q/cite_tutorial/;
52	$ref_files{$key}·=·"$dir".q\|node2.html\|;·	52	$ref_files{$key}·=·"$dir".q\|node11.html\|;·
53	$noresave{$key}·=·"$nosave";	53	$noresave{$key}·=·"$nosave";

54	$key·=·q/~~operators~~/;	54	$key·=·q/sec:lexical/;
55	$ref_files{$key}·=·"$dir".q\|node2.html\|;·	55	$ref_files{$key}·=·"$dir".q\|node1.html\|;·
56	$noresave{$key}·=·"$nosave";	56	$noresave{$key}·=·"$nosave";

57	$key·=·q/sec:~~standard~~/;	57	$key·=·q/sec:modules/;
58	$ref_files{$key}·=·"$dir".q\|node12.html\|;·	58	$ref_files{$key}·=·"$dir".q\|node4.html\|;·
59	$noresave{$key}·=·"$nosave";	59	$noresave{$key}·=·"$nosave";

60	$key·=·q/~~sec:defi~~n~~ition~~s/;	60	$key·=·q/numbers/;
61	$ref_files{$key}·=·"$dir".q\|node5.html\|;·	61	$ref_files{$key}·=·"$dir".q\|node1.html\|;·
62	$noresave{$key}·=·"$nosave";	62	$noresave{$key}·=·"$nosave";

63	1;	63	1;

Offset 1, 157 lines modified		Offset 1, 157 lines modified
1	#·LaTeX2HTML·2008·(1.71)	1	#·LaTeX2HTML·2008·(1.71)
2	#·Associate·labels·original·text·with·physical·files.	2	#·Associate·labels·original·text·with·physical·files.


		3	$key·=·q/sec:standard/;
		4	$external_labels{$key}·=·"$URL/"·.·q\|node12.html\|;·
		5	$noresave{$key}·=·"$nosave";

3	$key·=·q/cite_tutorial/;	6	$key·=·q/cite_tutorial/;
4	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·	7	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·
5	$noresave{$key}·=·"$nosave";	8	$noresave{$key}·=·"$nosave";

6	$key·=·q/numbers/;	9	$key·=·q/numbers/;
7	$external_labels{$key}·=·"$URL/"·.·q\|node1.html\|;·	10	$external_labels{$key}·=·"$URL/"·.·q\|node1.html\|;·
8	$noresave{$key}·=·"$nosave";	11	$noresave{$key}·=·"$nosave";

9	$key·=·q/~~cite_bai~~ley/;	12	$key·=·q/sec:modules/;
10	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·	13	$external_labels{$key}·=·"$URL/"·.·q\|node4.html\|;·
11	$noresave{$key}·=·"$nosave";

12	$key·=·q/sec:commands/;
13	$external_labels{$key}·=·"$URL/"·.·q\|node9.html\|;·
14	$noresave{$key}·=·"$nosave";	14	$noresave{$key}·=·"$nosave";

15	$key·=·q/sec:~~expr~~essi~~ons~~/;	15	$key·=·q/sec:lexical/;
16	$external_labels{$key}·=·"$URL/"·.·q\|node8.html\|;·	16	$external_labels{$key}·=·"$URL/"·.·q\|node1.html\|;·
17	$noresave{$key}·=·"$nosave";	17	$noresave{$key}·=·"$nosave";

18	$key·=·q/sec:re~~gul~~ar/;	18	$key·=·q/sec:pattern-matching/;
19	$external_labels{$key}·=·"$URL/"·.·q\|node16.html\|;·	19	$external_labels{$key}·=·"$URL/"·.·q\|node10.html\|;·
20	$noresave{$key}·=·"$nosave";	20	$noresave{$key}·=·"$nosave";

21	$key·=·q/sec:ide~~ntif~~i~~ers~~/;	21	$key·=·q/cite_bailey/;
22	$external_labels{$key}·=·"$URL/"·.·q\|node2.html\|;·	22	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·
23	$noresave{$key}·=·"$nosave";	23	$noresave{$key}·=·"$nosave";

24	$key·=·q/operators/;	24	$key·=·q/operators/;
25	$external_labels{$key}·=·"$URL/"·.·q\|node2.html\|;·	25	$external_labels{$key}·=·"$URL/"·.·q\|node2.html\|;·
26	$noresave{$key}·=·"$nosave";	26	$noresave{$key}·=·"$nosave";

27	$key·=·q/sec:~~defini~~t~~ion~~s/;	27	$key·=·q/sec:types/;
28	$external_labels{$key}·=·"$URL/"·.·q\|node5.html\|;·	28	$external_labels{$key}·=·"$URL/"·.·q\|node6.html\|;·
29	$noresave{$key}·=·"$nosave";	29	$noresave{$key}·=·"$nosave";

30	$key·=·q/sec:~~standa~~rd/;	30	$key·=·q/sec:functors/;
31	$external_labels{$key}·=·"$URL/"·.·q\|node12.html\|;·	31	$external_labels{$key}·=·"$URL/"·.·q\|node17.html\|;·
32	$noresave{$key}·=·"$nosave";	32	$noresave{$key}·=·"$nosave";

33	$key·=·q/sec:~~patt~~e~~rn-m~~a~~tching~~/;	33	$key·=·q/sec:regular/;
34	$external_labels{$key}·=·"$URL/"·.·q\|node10.html\|;·	34	$external_labels{$key}·=·"$URL/"·.·q\|node16.html\|;·
35	$noresave{$key}·=·"$nosave";	35	$noresave{$key}·=·"$nosave";

36	$key·=·q/sec:t~~ype~~s/;	36	$key·=·q/sec:definitions/;
37	$external_labels{$key}·=·"$URL/"·.·q\|node6.html\|;·	37	$external_labels{$key}·=·"$URL/"·.·q\|node5.html\|;·
38	$noresave{$key}·=·"$nosave";	38	$noresave{$key}·=·"$nosave";

39	$key·=·q/cite_h~~ope~~/;	39	$key·=·q/cite_field_SPMamp_harrison/;
40	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·	40	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·
41	$noresave{$key}·=·"$nosave";	41	$noresave{$key}·=·"$nosave";

42	$key·=·q/sec:~~devi~~a~~tion~~s/;	42	$key·=·q/sec:commands/;
43	$external_labels{$key}·=·"$URL/"·.·q\|node15.html\|;·	43	$external_labels{$key}·=·"$URL/"·.·q\|node9.html\|;·
44	$noresave{$key}·=·"$nosave";	44	$noresave{$key}·=·"$nosave";

45	$key·=·q/~~cite_fi~~e~~ld_SPMa~~mp~~_harr~~i~~son~~/;	45	$key·=·q/sec:composite/;
46	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·	46	$external_labels{$key}·=·"$URL/"·.·q\|node3.html\|;·
47	$noresave{$key}·=·"$nosave";	47	$noresave{$key}·=·"$nosave";

48	$key·=·q/sec~~:modules~~/;	48	$key·=·q/cite_hope/;
49	$external_labels{$key}·=·"$URL/"·.·q\|node4.html\|;·	49	$external_labels{$key}·=·"$URL/"·.·q\|node11.html\|;·
50	$noresave{$key}·=·"$nosave";	50	$noresave{$key}·=·"$nosave";

51	$key·=·q/sec:fun~~cto~~rs/;	51	$key·=·q/sec:identifiers/;
52	$external_labels{$key}·=·"$URL/"·.·q\|node17.html\|;·	52	$external_labels{$key}·=·"$URL/"·.·q\|node2.html\|;·
53	$noresave{$key}·=·"$nosave";	53	$noresave{$key}·=·"$nosave";

54	$key·=·q/sec:~~pat~~terns/;	54	$key·=·q/sec:deviations/;
55	$external_labels{$key}·=·"$URL/"·.·q\|node7.html\|;·	55	$external_labels{$key}·=·"$URL/"·.·q\|node15.html\|;·
56	$noresave{$key}·=·"$nosave";	56	$noresave{$key}·=·"$nosave";

57	$key·=·q/sec:lexi~~cal~~/;	57	$key·=·q/sec:expressions/;
58	$external_labels{$key}·=·"$URL/"·.·q\|node1.html\|;·	58	$external_labels{$key}·=·"$URL/"·.·q\|node8.html\|;·
59	$noresave{$key}·=·"$nosave";	59	$noresave{$key}·=·"$nosave";

60	$key·=·q/sec:~~composite~~/;	60	$key·=·q/sec:patterns/;
61	$external_labels{$key}·=·"$URL/"·.·q\|node3.html\|;·	61	$external_labels{$key}·=·"$URL/"·.·q\|node7.html\|;·
62	$noresave{$key}·=·"$nosave";	62	$noresave{$key}·=·"$nosave";

63	1;	63	1;


64	#·LaTeX2HTML·2008·(1.71)	64	#·LaTeX2HTML·2008·(1.71)
65	#·labels·from·external_latex_labels·array.	65	#·labels·from·external_latex_labels·array.


66	$key·=·q/sec:~~compo~~site/;	66	$key·=·q/sec:expressions/;
67	$external_latex_labels{$key}·=·q\|3\|;·	67	$external_latex_labels{$key}·=·q\|3.5\|;·
68	$noresave{$key}·=·"$nosave";	68	$noresave{$key}·=·"$nosave";

69	$key·=·q/sec:patterns/;	69	$key·=·q/sec:patterns/;
70	$external_latex_labels{$key}·=·q\|3.4\|;·	70	$external_latex_labels{$key}·=·q\|3.4\|;·
71	$noresave{$key}·=·"$nosave";	71	$noresave{$key}·=·"$nosave";

72	$key·=·q/sec:lexi~~cal~~/;	72	$key·=·q/sec:deviations/;
73	$external_latex_labels{$key}·=·q\|1\|;·	73	$external_latex_labels{$key}·=·q\|B\|;·
74	$noresave{$key}·=·"$nosave";	74	$noresave{$key}·=·"$nosave";

75	$key·=·q/sec:fun~~cto~~rs/;	75	$key·=·q/sec:identifiers/;
76	$external_latex_labels{$key}·=·q\|~~B.~~2\|;·	76	$external_latex_labels{$key}·=·q\|2\|;·
77	$noresave{$key}·=·"$nosave";	77	$noresave{$key}·=·"$nosave";

78	$key·=·q/sec:mo~~dul~~es/;	78	$key·=·q/sec:composite/;
79	$external_latex_labels{$key}·=·q\|3~~.1~~\|;·	79	$external_latex_labels{$key}·=·q\|3\|;·
80	$noresave{$key}·=·"$nosave";	80	$noresave{$key}·=·"$nosave";

81	$key·=·q/sec:~~type~~s/;	81	$key·=·q/sec:commands/;
82	$external_latex_labels{$key}·=·q\|3.3\|;·	82	$external_latex_labels{$key}·=·q\|3.6\|;·
83	$noresave{$key}·=·"$nosave";	83	$noresave{$key}·=·"$nosave";

84	$key·=·q/sec:~~devia~~tions/;	84	$key·=·q/sec:functors/;
85	$external_latex_labels{$key}·=·q\|B\|;·	85	$external_latex_labels{$key}·=·q\|B.2\|;·
86	$noresave{$key}·=·"$nosave";	86	$noresave{$key}·=·"$nosave";

87	$key·=·q/sec:~~patt~~e~~rn-m~~a~~tching~~/;	87	$key·=·q/sec:regular/;
88	$external_latex_labels{$key}·=·q\|4\|;·	88	$external_latex_labels{$key}·=·q\|B.1\|;·
89	$noresave{$key}·=·"$nosave";	89	$noresave{$key}·=·"$nosave";

90	$key·=·q/sec:definitions/;	90	$key·=·q/sec:definitions/;
91	$external_latex_labels{$key}·=·q\|3.2\|;·	91	$external_latex_labels{$key}·=·q\|3.2\|;·
92	$noresave{$key}·=·"$nosave";	92	$noresave{$key}·=·"$nosave";

93	$key·=·q/sec:standard/;	93	$key·=·q/sec:pattern-matching/;
94	$external_latex_labels{$key}·=·q\|A\|;·	94	$external_latex_labels{$key}·=·q\|4\|;·
95	$noresave{$key}·=·"$nosave";	95	$noresave{$key}·=·"$nosave";

96	$key·=·q/operators/;	96	$key·=·q/operators/;
97	$external_latex_labels{$key}·=·q\|2\|;·	97	$external_latex_labels{$key}·=·q\|2\|;·
98	$noresave{$key}·=·"$nosave";	98	$noresave{$key}·=·"$nosave";

99	$key·=·q/sec:~~regular~~/;	99	$key·=·q/sec:types/;
100	$external_latex_labels{$key}·=·q\|B.1\|;·	100	$external_latex_labels{$key}·=·q\|3.3\|;·
101	$noresave{$key}·=·"$nosave";

102	$key·=·q/sec:identifiers/;
103	$external_latex_labels{$key}·=·q\|2\|;·
104	$noresave{$key}·=·"$nosave";	101	$noresave{$key}·=·"$nosave";

105	$key·=·q/sec:~~expr~~essi~~ons~~/;	102	$key·=·q/sec:lexical/;
106	$external_latex_labels{$key}·=·q\|~~3.5~~\|;·	103	$external_latex_labels{$key}·=·q\|1\|;·
107	$noresave{$key}·=·"$nosave";	104	$noresave{$key}·=·"$nosave";

108	$key·=·q/sec:co~~mmand~~s/;	105	$key·=·q/sec:modules/;
109	$external_latex_labels{$key}·=·q\|3.6\|;·	106	$external_latex_labels{$key}·=·q\|3.1\|;·
110	$noresave{$key}·=·"$nosave";	107	$noresave{$key}·=·"$nosave";

111	$key·=·q/numbers/;	108	$key·=·q/numbers/;
112	$external_latex_labels{$key}·=·q\|1\|;·	109	$external_latex_labels{$key}·=·q\|1\|;·
113	$noresave{$key}·=·"$nosave";	110	$noresave{$key}·=·"$nosave";

		111	$key·=·q/sec:standard/;
		112	$external_latex_labels{$key}·=·q\|A\|;·
		113	$noresave{$key}·=·"$nosave";

114	1;	114	1;

Offset 1, 23 lines modified		Offset 1, 23 lines modified
1	00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·	1	00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
2	00000010:·5465·5820·6f75·7470·7574·2032·3031·362e··TeX·output·2016.	2	00000010:·5465·5820·6f75·7470·7574·2032·3031·362e··TeX·output·2016.
3	00000020:·3036·2e31·313a·3031·3030·8b00·0000·0100··06.11:0~~100~~......	3	00000020:·3036·2e31·323a·3039·3433·8b00·0000·0100··06.12:0943......
4	00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................	4	00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
5	00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................	5	00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
6	00000050:·0000·00ff·ffff·ffa0·02bf·99ac·8da0·fd4c··...............L	6	00000050:·0000·00ff·ffff·ffa0·02bf·99ac·8da0·fd4c··...............L
7	00000060:·6654·a002·9599·ac8d·a0fd·ba4c·be8d·9175··fT.........L...u	7	00000060:·6654·a002·9599·ac8d·a0fd·ba4c·be8d·9175··fT.........L...u
8	00000070:·5aa6·f30f·44d3·ed74·0011·47ae·0011·47ae··Z...D..t..G...G.	8	00000070:·5aa6·f30f·44d3·ed74·0011·47ae·0011·47ae··Z...D..t..G...G.
9	00000080:·0005·636d·7231·37ba·4196·0537·7448·6f70··..cmr17.A..7tHop	9	00000080:·0005·636d·7231·37ba·4196·0537·7448·6f70··..cmr17.A..7tHop
10	00000090:·9073·8e65·9349·6e90·8c71·7465·7270·7265··.s.e.In..qterpre	10	00000090:·9073·8e65·9349·6e90·8c71·7465·7270·7265··.s.e.In..qterpre
11	000000a0:·7465·7293·7c93·5265·6665·7265·6e63·658e··ter.\|.Reference.	11	000000a0:·7465·7293·7c93·5265·6665·7265·6e63·658e··ter.\|.Reference.
12	000000b0:·9f1e·6ccf·8d8d·8d8d·8d92·00c2·0936·f310··..l..........6..	12	000000b0:·9f1e·6ccf·8d8d·8d8d·8d92·00c2·0936·f310··..l..........6..
13	000000c0:·58ab·510b·000c·0000·000c·0000·0005·636d··X.Q...........cm	13	000000c0:·58ab·510b·000c·0000·000c·0000·0005·636d··X.Q...........cm
14	000000d0:·7231·32bb·526f·7373·9103·eaa8·5090·ac72··r12.Ross....P..r	14	000000d0:·7231·32bb·526f·7373·9103·eaa8·5090·ac72··r12.Ross....P..r
15	000000e0:·6174·6572·736f·6e8e·8e8e·8e8e·9f18·8ccf··aterson.........	15	000000e0:·6174·6572·736f·6e8e·8e8e·8e8e·9f18·8ccf··aterson.........
16	000000f0:·8d92·00c3·07ca·4a75·6e65·9603·eaa8·3131··......June....11	16	000000f0:·8d92·00c3·07ca·4a75·6e65·9603·eaa8·3132··......June....12
17	00000100:·2c93·3230·3136·8e9f·2994·088d·911a·08a3··,.2016..).......	17	00000100:·2c93·3230·3136·8e9f·2994·088d·911a·08a3··,.2016..).......
18	00000110:·f30e·4bf1·6079·000a·f333·000a·0000·0005··..K.`y...3......	18	00000110:·f30e·4bf1·6079·000a·f333·000a·0000·0005··..K.`y...3......
19	00000120:·636d·7231·30b9·5468·6973·9604·3771·6d61··cmr10.This..7qma	19	00000120:·636d·7231·30b9·5468·6973·9604·3771·6d61··cmr10.This..7qma
20	00000130:·6e90·b221·7561·6c93·6973·936e·6f74·9361··n..!ual.is.not.a	20	00000130:·6e90·b221·7561·6c93·6973·936e·6f74·9361··n..!ual.is.not.a
21	00000140:·9374·7574·6f72·6961·6c9b·0437·706f·6e93··.tutorial..7pon.	21	00000140:·9374·7574·6f72·6961·6c9b·0437·706f·6e93··.tutorial..7pon.
22	00000150:·6675·6e63·7469·6f6e·616c·9370·726f·6772··functional.progr	22	00000150:·6675·6e63·7469·6f6e·616c·9370·726f·6772··functional.progr
23	00000160:·616d·6d69·6e67·2c91·045b·b46f·7293·6f6e··amming,..[.or.on	23	00000160:·616d·6d69·6e67·2c91·045b·b46f·7293·6f6e··amming,..[.or.on