https://github.com/jeroenk/Anagopos3D
Revision f53eb7f5ea7a6af3f82f89288e4b6b9b38470a41 authored by Jeroen Ketema on 25 June 2011, 19:28:43 UTC, committed by Jeroen Ketema on 25 June 2011, 19:28:43 UTC
1 parent ea1c3d8
Tip revision: f53eb7f5ea7a6af3f82f89288e4b6b9b38470a41 authored by Jeroen Ketema on 25 June 2011, 19:28:43 UTC
Add README
Add README
Tip revision: f53eb7f
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 ...