Omar Rizwan osnr

Proposal: Outgoing Element ports and generalizing main

Let's allow outgoing ports to contain Elements, like this:

clicks : Input ()
clicks = Input ()

port takeClicks : Signal Element
port takeClicks = constant &lt;| clickable clicks.handle () (spacer 40 40)

I hereby claim:

I am osnr on github.
I am osnr (https://keybase.io/osnr) on keybase.
I have a public key whose fingerprint is 8B05 2468 DA56 99A1 14AC EDEF 94B0 3760 DB70 6BD7

To claim this, I am signing this object:

	import Http
	import Graphics.Input as I
	import Graphics.Input.Field as F

	inp : I.Input F.Content
	inp = I.input F.noContent

	urlify : String -> String
	urlify t = "http://en.wikipedia.org/w/api.php?action=query&format=json&callback=?&titles=" ++ t ++ "&prop=revisions&rvprop=content"

	module Bot where

	import Birdhouse as BH

	port updates : Signal { status : String } -- Signal (BH.StatusUpdate {})
	port updates = BH.update . show <~ count (every (10 * second))

	digraph {
	"Vannevar Bush" -> "Claude Shannon";

	"Claude Shannon" -> "Ivan Sutherland";

	subgraph ailab {
	rank = same;
	edge[dir=none];

	"Seymour Papert" -> "Marvin Minsky";

	#!/usr/bin/env python
	import csv

	import matplotlib.pyplot as plt
	from matplotlib import dates
	from datetime import datetime

	X = []
	Y = []