Next: More parameterized protocols
Up: Futurebus+
Previous: Refal encoding
/*
$ENTRY Go {
= <Prout <Go e.1 >> ;
}
*/
* InputFormat: <Go e.41 >
$ENTRY Go {
e.41 (e.101 ) = <F5 (e.41 ) e.101 > ;
}
* InputFormat: <F311 (e.109 ) (e.110 ) s.111 >
F311 {
() (e.110 ) s.111 = True ;
(A e.109 ) (s.245 e.110 ) s.111 = <F99 (e.109 ) (e.110 ) s.245 () s.111
> ;
(H ) (s.246 e.110 ) s.111 = True ;
(H K e.109 ) (s.246 e.110 ) s.111 = <F274 (e.109 ) (e.110 s.111 ) s.246
> ;
(K e.109 ) (e.110 ) s.111 = <F311 (e.109 ) (e.110 ) s.111 > ;
(F e.109 ) (e.110 ) s.111 = <F274 (e.109 ) (e.110 ) s.111 > ;
}
* InputFormat: <F274 (e.137 ) (e.138 ) s.139 e.140 >
F274 {
() (e.138 ) s.139 e.140 = True ;
(A e.137 ) (e.138 ) s.139 s.227 e.140 = <F162 (e.137 ) (e.140 e.138 )
s.227 () s.139 > ;
(A e.137 ) (s.228 e.138 ) s.139 = <F162 (e.137 ) (e.138 ) s.228 () s.139
> ;
(H ) (e.138 ) s.139 s.229 e.140 = True ;
(H I e.137 ) (e.138 ) s.139 s.229 e.140 = <F274 (e.137 ) (s.139 e.140
e.138 ) s.229 > ;
(H ) (s.230 e.138 ) s.139 = True ;
(H I e.137 ) (s.230 e.138 ) s.139 = <F274 (e.137 ) (s.139 e.138 ) s.230
> ;
(K e.137 ) (e.138 ) s.139 e.140 = <F274 (e.137 ) (e.140 e.138 ) s.139
> ;
}
* InputFormat: <F213 (e.137 ) (e.138 ) s.139 (e.140 ) s.143 >
F213 {
() (e.138 ) s.139 (e.140 ) s.143 = True ;
(A e.137 ) (s.201 e.138 ) s.139 (e.140 ) s.143 = <F162 (e.137 ) (e.138
s.139 e.140 ) s.201 () s.143 > ;
(A e.137 ) () s.139 (e.140 ) s.143 = <F162 (e.137 ) (e.140 ) s.139 ()
s.143 > ;
(H ) (s.202 e.138 ) s.139 (e.140 ) s.143 = True ;
(H I e.137 ) (s.202 e.138 ) s.139 (e.140 ) s.143 = <F119 (e.137 ) () s.139
(e.140 ) s.143 (e.138 ) s.202 > ;
(H ) () s.139 (e.140 ) s.143 = True ;
(H I e.137 ) () s.139 (e.140 ) s.143 = <F213 (e.137 ) () s.143 (e.140
) s.139 > ;
(K e.137 ) (e.138 ) s.139 (e.140 ) s.143 = <F213 (e.137 ) (e.138 ) s.139
(e.140 ) s.143 > ;
}
* InputFormat: <F162 (e.169 ) (e.170 ) s.171 (e.172 ) s.173 >
F162 {
() (e.170 ) s.171 (e.172 ) s.173 = True ;
(A e.169 ) (s.180 e.170 ) s.171 (e.172 ) s.173 = <F162 (e.169 ) (e.170
) s.180 (s.171 e.172 ) s.173 > ;
(B e.169 ) (e.170 ) s.171 (e.172 ) s.173 = <F77 (e.169 ) (e.170 ) s.173
s.171 e.172 > ;
(H e.169 ) (s.181 e.170 ) s.171 (e.172 ) s.173 = <F114 (e.169 ) (e.170
) s.173 () s.171 (e.172 ) s.181 > ;
(K e.169 ) (e.170 ) s.171 (e.172 ) s.173 = <F162 (e.169 ) (e.170 ) s.171
(e.172 ) s.173 > ;
}
* InputFormat: <F119 (e.148 ) (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 >
F119 {
() (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = True ;
(A e.148 ) (s.163 e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = <F162
(e.148 ) (e.149 s.152 e.153 s.150 e.151 ) s.163 () s.156 > ;
(A e.148 ) () s.150 (e.151 ) s.152 (e.153 ) s.156 = <F162 (e.148 ) (e.153
s.150 e.151 ) s.152 () s.156 > ;
(H ) (s.164 e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = True ;
(H I e.148 ) (s.164 e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = <F119
(e.148 ) () s.152 (e.153 s.150 e.151 ) s.156 (e.149 ) s.164 > ;
(H ) () s.150 (e.151 ) s.152 (e.153 ) s.156 = True ;
(H I e.148 ) () s.150 (e.151 ) s.152 (e.153 ) s.156 = <F119 (e.148 ) (
) s.150 (e.151 ) s.156 (e.153 ) s.152 > ;
(K e.148 ) (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = <F119 (e.148
) (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 > ;
}
* InputFormat: <F114 (e.148 ) (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 >
F114 {
() (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = True ;
(K e.148 ) (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 = <F119 (e.148
) (e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 > ;
}
* InputFormat: <F99 (e.148 ) (e.149 ) s.150 (e.151 ) s.152 e.153 >
F99 {
() (e.149 ) s.150 (e.151 ) s.152 e.153 = True ;
(A e.148 ) (s.155 e.149 ) s.150 (e.151 ) s.152 e.153 = <F99 (e.148 ) (
e.149 ) s.155 (s.150 e.151 ) s.152 e.153 > ;
(C e.148 ) (e.149 ) s.150 (e.151 ) s.152 e.153 = <F77 (e.148 ) (e.149
) s.150 e.151 s.152 e.153 > ;
(H e.148 ) (s.156 e.149 ) s.150 (e.151 ) s.152 e.153 = <F114 (e.148 )
(e.149 ) s.150 (e.151 ) s.152 (e.153 ) s.156 > ;
(K e.148 ) (e.149 ) s.150 (e.151 ) s.152 e.153 = <F99 (e.148 ) (e.149
) s.150 (e.151 ) s.152 e.153 > ;
}
* InputFormat: <F77 (e.137 ) (e.138 ) s.139 e.140 >
F77 {
() (e.138 ) s.139 e.140 = True ;
(A e.137 ) (s.142 e.138 ) s.139 e.140 = <F99 (e.137 ) (e.138 ) s.142 (
) s.139 e.140 > ;
(H ) (s.143 e.138 ) s.139 e.140 = True ;
(H K e.137 ) (s.143 e.138 ) s.139 e.140 = <F213 (e.137 ) (e.138 ) s.139
(e.140 ) s.143 > ;
(K e.137 ) (e.138 ) s.139 e.140 = <F77 (e.137 ) (e.138 ) s.139 e.140 >
;
(G e.137 ) (e.138 ) s.139 e.140 = <F274 (e.137 ) (e.138 ) s.139 e.140
> ;
}
* InputFormat: <F26 (e.109 ) (e.110 ) s.111 e.112 >
F26 {
() (e.110 ) s.111 e.112 = True ;
(A e.109 ) (s.114 e.110 ) s.111 e.112 = <F26 (e.109 ) (e.110 ) s.114 s.111
e.112 > ;
(E e.109 ) (e.110 ) s.111 s.115 e.112 = <F77 (e.109 ) (e.110 ) s.111 s.115
e.112 > ;
(D e.109 ) (e.110 ) s.111 = <F311 (e.109 ) (e.110 ) s.111 > ;
(H ) (s.116 e.110 ) s.111 e.112 = True ;
(H K e.109 ) (s.116 e.110 ) s.111 e.112 = <F274 (e.109 ) (e.110 s.111
e.112 ) s.116 > ;
(K e.109 ) (e.110 ) s.111 e.112 = <F26 (e.109 ) (e.110 ) s.111 e.112 >
;
}
* InputFormat: <F5 (e.41 ) e.101 >
F5 {
() e.101 = True ;
(A e.41 ) s.103 e.101 = <F26 (e.41 ) (e.101 ) s.103 > ;
(H ) s.104 e.101 = True ;
(H K e.41 ) s.104 e.101 = <F274 (e.41 ) (e.101 ) s.104 > ;
(K e.41 ) e.101 = <F5 (e.41 ) e.101 > ;
}
****************************** The End ************************************
Alexei Lisitsa
2005-07-14