Andy Friesen andyfriesen

$$ \tag*{r = f(x)} \cfrac {\Gamma \vdash f: (A) \rightarrow B, x: T, r: R} {(A) \rightarrow B <: (T) \rightarrow R} $$


	module Clock = {
	include ReactRe.Component.Stateful;
	let name = "Clock";
	type props = ();
	type state = {now: Js_date.t, timerID: option Js_global.intervalId};

	let getInitialState () => {
	{ now: Js_date.make (), timerID: None };
	};

	<html>
	<canvas id="canvas" width="256" height="256" />
	<script>
	const canvas = document.getElementById('canvas');
	const ctx = canvas.getContext('2d');
	ctx.fillStyle = 'black';
	ctx.fillRect(0, 0, 256, 256);

	ctx.fillStyle = 'white';