Privacy Policy
We are committed to protecting your privacy and ensuring your data is safe. This policy explains how we collect, use, and safeguard your information.
1. Data We Collect
We collect the following information when you interact with λΛ:
- Email address (if you choose to contact us)
- Usage data from the λ-calculus editor (if anonymous telemetry is enabled)
- Cookies and device information for session management
2. How We Use Your Data
Your information is used to:
Improve Services
Enhance editor functionality and personalize your experience.
Process Communications
Respond to your questions or feedback via email.
Security
Prevent abuse of our services and protect system integrity.
3. Your Data Rights
- Request deletion of your personally identifiable information
- Access any data collected about you
- Opt-out of anonymous usage metrics
- Object to specific data processing practices
Have Questions?
For privacy-related inquiries or to exercise your rights, please contact us using the form on our Contact Page.