Metadata-Version: 2.5
Name: lungo-py
Version: 1.106.540
Summary: The Python support library of lungo's generated packages: the lungo runtime and the wire format
Project-URL: Homepage, https://machinefabric.com/lungo/
Project-URL: Repository, https://github.com/machinefabric/lungo-py
Author-email: Bahram Joharshamshiri <jowharshamshiri@gmail.com>
License-Expression: Apache-2.0
License-File: LICENSE
Classifier: Operating System :: MacOS
Classifier: Operating System :: Microsoft :: Windows
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# lungo-py

The support library of the Python packages [lungo](https://machinefabric.com/lungo/)
generates from Lean programs: the lungo runtime, shared by every generated package of a process,
the wire format between Python and the runtime, and the Lean values Python has no type for.

Generated packages depend on exactly the `lungo-py` of the lungo release that generated them.
