polyhorn-ios-sys 0.4.0

Low-level iOS bindings for Polyhorn.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

#import "PLYAppDelegate.h"
#import "PLYSpringboard.h"

extern void __polyhorn_main(void);

@implementation PLYAppDelegate

- (void)applicationDidFinishLaunching:(UIApplication *)application {
    __polyhorn_main();
}

@end