CLI that makes it easy to work with Polyhorn projects. Specifically, the CLI takes care of building, running and distributing cross-platform apps written with Polyhorn.
Tasks and types for Android-specific operations.
Implementations for platform-independent Polyhorn-cli commands.
Types and functions that are shared between platform-specific implementations of Polyhorn CLI commands.
Tasks and types for iOS-specific operations.
Types and functions that implement the specification of
Utilities for quickly building a source tree from a series of templates.
Types to run a test feedback server.
Contains a configuration that is passed to the implementation of each
(relevant) CLI command. A notable exception is
Entry point of the CLI that is used by the main