Skip to content

Instantly share code, notes, and snippets.


Steve Moser stevemoser

View GitHub Profile
stevemoser / iOS 7 dynamic font mappings
Last active Aug 29, 2015 — forked from nuthatch/iOS 7 dynamic font mappings
What is UIFontTextStyleHeadline *really*? Dump out preferredFontForTextStyle for UIFontTextStyleHeadline, UIFontTextStyleSubheadline, UIFontTextStyleBody, UIFontTextStyleFootnote, UIFontTextStyleCaption1, UIFontTextStyleCaption2 to examine the font name, weight, and point size.
View iOS 7 dynamic font mappings
+ (void)describePreferredFonts
static NSArray *textStyles;
static dispatch_once_t onceToken;
dispatch_once(&onceToken, ^{
textStyles = @[UIFontTextStyleHeadline,
stevemoser / Trees.swift
Last active Aug 29, 2015 — forked from CodaFi/Trees.swift
A small propositional logic proof tree generator and prover.
View Trees.swift
//: Playground - noun: a place where people can play
//: Prop 'til you Drop
indirect enum Formula : CustomStringConvertible {
case Var(String)
case Or(Formula, Formula)
case And(Formula, Formula)
case Imply(Formula, Formula)
case BiImply(Formula, Formula)
case Negate(Formula)
You can’t perform that action at this time.