ΛΓΧ.ΨΘΗΚΟ Terms of Service

Legal agreement governing your use of Π-recursive optimization platform.

1. Acceptance of Terms

By accessing or using Π-recursive algorithm platform, you agree to comply with these terms and all applicable laws. If you disagree, refrain from using our services.

2. License Grant

We grant you a limited, non-exclusive, non-transferable license to use the service for internal, non-commercial purposes subject to these terms. All λ-calculus extensions remain our property.

3. Usage Restrictions

Prohibited from reverse-engineering Π-recursive optimization algorithms
No redistribution of compiled Π-transformations without authorization
Restrictions on mass execution patterns exceeding 1000 operations/minute

4. Limitations of Liability

We are not liable for any indirect damages arising from service use. All λ-calculus execution results are provided "as is" without warranties of any kind.

5. Termination

We may terminate or suspend access for violations of these terms. Discontinued features will be announced 30 days in advance via official Π-recursive framework notifications.

6. Governing Law

These terms are governed by the laws of the jurisdiction where Π-recursive framework is hosted. All disputes must be resolved through binding arbitration.