Download COMMERCIAL-LICENSING.md from Snapkitty/unlambda-idris-spark: direct link, hf CLI and curl.
- Browser
- Download file 1.48 kB
-
https://huggingface.co/Snapkitty/unlambda-idris-spark/resolve/main/COMMERCIAL-LICENSING.md
- Command line
-
hf download hf://Snapkitty/unlambda-idris-spark/COMMERCIAL-LICENSING.md
-
curl -L -o COMMERCIAL-LICENSING.md https://huggingface.co/Snapkitty/unlambda-idris-spark/resolve/main/COMMERCIAL-LICENSING.md
Commercial licensing inquiries
Contact the repository maintainer to discuss commercial licensing or support. An inquiry is not a license grant. Pricing, license scope, support commitments, warranties, and permitted distribution must be agreed in writing; no standard commercial agreement is published in v1.
Describe your intended use, deployment/distribution model, required components, organization, and support needs. The agreement would need to identify the covered source version, ownership/provenance, applicable third-party terms, license duration, redistribution rights, and any support or maintenance terms.
Original project code is proprietary and source-visible, not open source. See LICENSING.md. Commercial arrangements can cover only rights the licensor can grant; they do not remove third-party obligations.
v1 is a verification scaffold, with an unimplemented ATS runtime and slot-map heap. Its commercial availability must not be described as a certified production interpreter. The verification report defines the checked component scope.