curry-howard

 %!PS-Adobe-3.0 EPSF-3.0
 %%Creator: cairo 1.15.10 (http://cairographics.org)
 %%CreationDate: Sat Jun 19 11:44:59 2021
 %%Pages: 1
 %%DocumentData: Clean7Bit
 %%LanguageLevel: 2
 %%BoundingBox: 155 7 561 213
 %%EndComments
 %%BeginProlog
 50 dict begin
 /q { gsave } bind def
 /Q { grestore } bind def
 /cm { 6 array astore concat } bind def
 /w { setlinewidth } bind def
 /J { setlinecap } bind def
 /j { setlinejoin } bind def
 /M { setmiterlimit } bind def
 /d { setdash } bind def
 /m { moveto } bind def
 /l { lineto } bind def
 /c { curveto } bind def
 /h { closepath } bind def
 /re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto
       0 exch rlineto 0 rlineto closepath } bind def
 /S { stroke } bind def
 /f { fill } bind def
 /f* { eofill } bind def
 /n { newpath } bind def
 /W { clip } bind def
 /W* { eoclip } bind def
 /BT { } bind def
 /ET { } bind def
 /BDC { mark 3 1 roll /BDC pdfmark } bind def
 /EMC { mark /EMC pdfmark } bind def
 /cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def
 /Tj { show currentpoint cairo_store_point } bind def
 /TJ {
   {
     dup
     type /stringtype eq
     { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse
   } forall
   currentpoint cairo_store_point
 } bind def
 /cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore
     cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def
 /Tf { pop /cairo_font exch def /cairo_font_matrix where
       { pop cairo_selectfont } if } bind def
 /Td { matrix translate cairo_font_matrix matrix concatmatrix dup
       /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point
       /cairo_font where { pop cairo_selectfont } if } bind def
 /Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def
       cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def
 /g { setgray } bind def
 /rg { setrgbcolor } bind def
 /d1 { setcachedevice } bind def
 /cairo_data_source {
   CairoDataIndex CairoData length lt
     { CairoData CairoDataIndex get /CairoDataIndex CairoDataIndex 1 add def }
     { () } ifelse
 } def
 /cairo_flush_ascii85_file { cairo_ascii85_file status { cairo_ascii85_file flushfile } if } def
 /cairo_image { image cairo_flush_ascii85_file } def
 /cairo_imagemask { imagemask cairo_flush_ascii85_file } def
 %%EndProlog
 %%BeginSetup
 %%EndSetup
 %%Page: 1 1
 %%BeginPageSetup
 %%PageBoundingBox: 155 7 561 213
 %%EndPageSetup
 q 155 7 406 206 rectclip
 1 0 0 -1 0 225 cm q
 0 g
 323.715 92.488 m 243.109 92.488 l 243.109 88.93 l 323.715 88.93 l 323.715
  16.34 l 241.336 16.34 l 241.336 13 l 327.273 13 l 327.273 168.637 l 240.887
  168.637 l 240.887 165.297 l 323.715 165.297 l h
 323.715 92.488 m f
 453.824 168.637 m 453.824 19.91 l 556.691 168.637 l 560.254 168.637 l 560.254
  12.781 l 556.914 12.781 l 556.914 162.406 l 453.379 12.781 l 450.266 12.562
  l 450.266 168.637 l h
 453.824 168.637 m f
 159.344 13 m 155.785 13 l 155.785 168.637 l 184.949 168.637 213.898 168.637
  243.062 168.637 c 243.062 165.078 l 159.344 165.078 l h
 159.344 13 m f
 3.591224 w
 0 J
 0 j
 [] 0.0 d
 4 M q 1 0 0 1 0 0 cm
 325.621 14.215 m 388.625 164.148 l 451.469 14.215 l S Q
 q 1 0 0 1 0 0 cm
 356.406 89.629 m 420.5 89.629 l S Q
 170.449 217.277 m 170.449 181.25 l 183.141 181.25 l 183.141 180.414 l 156.973
  180.414 l 156.973 181.25 l 169.656 181.25 l 169.656 217.277 l h
 170.449 217.277 m f
 187.07 180.469 m 186.277 180.469 l 186.277 217.117 l 187.07 217.117 l 187.07
  198.926 l 210.086 198.926 l 210.086 217.117 l 210.922 217.117 l 210.922
  180.469 l 210.086 180.469 l 210.086 198.133 l 187.07 198.133 l h
 187.07 180.469 m f
 216.641 199.188 m 235.625 199.188 l 235.625 198.344 l 216.641 198.344 l
  216.641 181.25 l 236.039 181.25 l 236.039 180.469 l 215.797 180.469 l 215.797
  217.117 l 236.145 217.117 l 236.145 216.336 l 216.641 216.336 l h
 216.641 199.188 m f
 275.625 198.766 m 275.625 203.75 273.637 208.207 270.438 211.457 c 267.188
  214.762 262.68 216.801 257.746 216.801 c 252.816 216.801 248.359 214.762
  245.109 211.457 c 241.91 208.207 239.863 203.75 239.863 198.766 c 239.863
  193.785 241.91 189.328 245.109 186.074 c 248.359 182.77 252.816 180.73 
 257.746 180.73 c 262.68 180.73 267.188 182.77 270.438 186.074 c 273.637 
 189.328 275.625 193.785 275.625 198.766 c h
 239.027 198.766 m 239.027 203.961 241.18 208.672 244.527 212.082 c 247.887
  215.547 252.605 217.645 257.746 217.645 c 262.941 217.645 267.602 215.547
  271.012 212.082 c 274.367 208.672 276.52 203.961 276.52 198.766 c 276.52
  193.574 274.367 188.852 271.012 185.453 c 267.602 181.988 262.941 179.887
  257.746 179.887 c 252.605 179.887 247.887 181.988 244.527 185.453 c 241.18
  188.852 239.027 193.574 239.027 198.766 c h
 239.027 198.766 m f
 281.133 181.25 m 293.031 181.25 l 306.664 181.25 306.664 201.07 293.031
  201.07 c 285.902 201.07 l 285.902 201.859 l 302.789 217.117 l 303.992 217.117
  l 287.109 201.859 l 293.031 201.859 l 307.719 201.859 307.719 180.414 293.031
  180.414 c 280.34 180.414 l 280.34 217.117 l 281.133 217.117 l h
 281.133 181.25 m f
 308.922 199.188 m 327.906 199.188 l 327.906 198.344 l 308.922 198.344 l
  308.922 181.25 l 328.316 181.25 l 328.316 180.469 l 308.078 180.469 l 308.078
  217.117 l 328.422 217.117 l 328.422 216.336 l 308.922 216.336 l h
 308.922 199.188 m f
 333.039 181.621 m 347.98 203.855 l 348.664 203.855 l 363.605 181.621 l 
 363.605 217.117 l 364.398 217.117 l 364.398 180.414 l 363.555 180.414 l 
 348.297 202.906 l 333.09 180.414 l 332.246 180.414 l 332.246 217.117 l 333.039
  217.117 l h
 333.039 181.621 m f
 387.773 180.836 m 387.773 192.949 387.773 205.008 387.773 217.117 c 388.617
  217.117 l 388.617 203.172 l 400.465 203.172 l 415.152 203.172 415.152 180.414
  400.465 180.414 c 387.773 180.414 l h
 388.617 202.387 m 388.617 181.25 l 400.465 181.25 l 414.098 181.25 414.098
  202.387 400.465 202.387 c h
 388.617 202.387 m f
 415.883 181.25 m 427.781 181.25 l 441.414 181.25 441.414 201.07 427.781
  201.07 c 420.652 201.07 l 420.652 201.859 l 437.539 217.117 l 438.742 217.117
  l 421.859 201.859 l 427.781 201.859 l 442.469 201.859 442.469 180.414 427.781
  180.414 c 415.09 180.414 l 415.09 217.117 l 415.883 217.117 l h
 415.883 181.25 m f
 477.965 198.766 m 477.965 203.75 475.973 208.207 472.773 211.457 c 469.52
  214.762 465.012 216.801 460.082 216.801 c 455.148 216.801 450.695 214.762
  447.441 211.457 c 444.242 208.207 442.203 203.75 442.203 198.766 c 442.203
  193.785 444.242 189.328 447.441 186.074 c 450.695 182.77 455.148 180.73
  460.082 180.73 c 465.012 180.73 469.52 182.77 472.773 186.074 c 475.973
  189.328 477.965 193.785 477.965 198.766 c h
 441.359 198.766 m 441.359 203.961 443.512 208.672 446.871 212.082 c 450.227
  215.547 454.938 217.645 460.082 217.645 c 465.273 217.645 469.941 215.547
  473.352 212.082 c 476.699 208.672 478.855 203.961 478.855 198.766 c 478.855
  193.574 476.699 188.852 473.352 185.453 c 469.941 181.988 465.273 179.887
  460.082 179.887 c 454.938 179.887 450.227 181.988 446.871 185.453 c 443.512
  188.852 441.359 193.574 441.359 198.766 c h
 441.359 198.766 m f
 494.371 216.645 m 480.105 180.469 l 479.219 180.469 l 493.949 217.699 l
  494.848 217.699 l 509.578 180.469 l 508.688 180.469 l h
 494.371 216.645 m f
 513.141 199.188 m 532.125 199.188 l 532.125 198.344 l 513.141 198.344 l
  513.141 181.25 l 532.539 181.25 l 532.539 180.469 l 512.297 180.469 l 512.297
  217.117 l 532.645 217.117 l 532.645 216.336 l 513.141 216.336 l h
 513.141 199.188 m f
 537.262 181.25 m 549.16 181.25 l 562.793 181.25 562.793 201.07 549.16 201.07
  c 542.035 201.07 l 542.035 201.859 l 558.918 217.117 l 560.121 217.117 
 l 543.238 201.859 l 549.16 201.859 l 563.848 201.859 563.848 180.414 549.16
  180.414 c 536.469 180.414 l 536.469 217.117 l 537.262 217.117 l h
 537.262 181.25 m f
 Q Q
 showpage
 %%Trailer
 end
 %%EOF