polyhorn-cli 0.4.2

Library with CLI for Polyhorn.
Documentation
1
2
3
4
5
#import <UIKit/UIKit.h>

int main(int argc, char **argv) {
    return UIApplicationMain(argc, argv, nil, @"PLYAppDelegate");
}