https://github.com/jeroenk/Anagopos3D
Revision d1be8ad4505c5a42c4f8a1a3d5a97fa28d912074 authored by Jeroen Ketema on 24 June 2011, 11:43:25 UTC, committed by Jeroen Ketema on 24 June 2011, 12:01:57 UTC
1 parent 87f8963
Tip revision: d1be8ad4505c5a42c4f8a1a3d5a97fa28d912074 authored by Jeroen Ketema on 24 June 2011, 11:43:25 UTC
Add file with examples from Anagapos paper
Add file with examples from Anagapos paper
Tip revision: d1be8ad
examples.txt
Figure 1:
((\xy.yyyyyyyyyyyyyyyxxy)(\xy.yyyyyyyyyyyyyyyxxy)(\x.x))((\xy.yyyyyyyyyyyyyyyxxy)(\xy.yyyyyyyyyyyyyyyxxy)(\x.x))
Also cool is:
((\xy.yyyyyyyyyyxxy)(\xy.yyyyyyyyyyyyyyyxxy)(\x.x))((\xy.yyyyyyyyyyyyyyyxxy)(\xy.yyyyyyyyyyxxy)(\x.x))
Figure 2a:
(\x.y)((\x.y)((\x.y)((\x.y)y)))
Figure 2b:
((\x.x)y)((\x.x)y)((\x.x)y)((\x.x)y)
Figure 4:
(\x.xx(xx))(\x.xxy)
Figure 6:
(\xy.x(\z.yzy)x)(\x.x)(\xy.x(\z.yzy)x)
Figure 7a:
((\x.x)y)((\x.xxx)\y.y)((\x.xx)\y.y)
Figure 7b:
((\xy.yyyyxxy)(\xy.yyyyxxy)(\x.x))(((\x.x)y)((\x.x)y))
Computing file changes ...