Skip to content

Instantly share code, notes, and snippets.

View paulyoung's full-sized avatar
💭
Type check and prove things

Paul Young paulyoung

💭
Type check and prove things
View GitHub Profile
module Main where
import Prelude
import Control.Monad.Except (runExcept)
import Data.Either (Either(..))
import Data.Maybe (Maybe(..))
import Effect.Console (log, logShow)
import Foreign (F)
import Foreign.Generic (defaultOptions, genericDecodeJSON, genericEncodeJSON)
-- | Based on http://www.fewbutripe.com/swift/html/dsl/2017/06/29/composable-html-views-in-swift.html
module Main where
import Prelude
import React as R
import React.DOM as R
import React.DOM.Props as RP
import Thermite hiding (defaultMain) as T
import Thermite.Try as T
Header 1 Header 2 Header 3
Cell 1 Cell 2 Cell 3
Cell 4 Cell 5 Cell 6
@paulyoung
paulyoung / README.md
Created October 1, 2013 10:40 — forked from 0xced/README.md

Using HockeySDK as an example

  1. Download HockeySDK 3.0.0
  2. Run these commands:
export FRAMEWORK_DIRECTORY="${HOME}/Downloads/HockeySDK-iOS-3/HockeySDK.embeddedframework"
export FRAMEWORK_NAME=$(basename `echo "${FRAMEWORK_DIRECTORY}"/*.framework` .framework)

echo "int main(int argc, char *argv[]) { return 0; }" | clang -x c -arch armv7 -ObjC -flat_namespace -undefined suppress -isysroot `xcode-select -print-path`/Platforms/iPhoneOS.platform/Developer/SDKs/iPhoneOS6.1.sdk -Xlinker -objc_abi_version -Xlinker 2 -F"${FRAMEWORK_DIRECTORY}" -framework "${FRAMEWORK_NAME}" -o "${TMPDIR}/${FRAMEWORK_NAME}" - && class-dump "${TMPDIR}/${FRAMEWORK_NAME}"
extends abstract
block append context
headingText = 'Jade'
linkText = 'Issues'
href = 'https://github.com/visionmedia/jade/issues'
block context
h1= headingText
a(href=href)= linkText
mixin heading(text)
h1= text
mixin link(text, href)
a(href=href)= text
block heading
h1 [heading text goes here]
block link
a(href="[link goes here]") [link text goes here]
h1 [heading text goes here]
a(href="[link goes here]") [link text goes here]
form(name="log-in-form", novalidate)
dl.form
dt
label(for="log-in-form-username") Username
dd
input(type="text", id="log-in-form-username", required)
dl.form
dt
label(for="log-in-form-password") Password