Micah micahscopes

Click in the open space to add a node, drag from one node to another to add an edge.
Ctrl-drag a node to move the graph layout.
Click a node or an edge to select it.

When a node is selected: R toggles reflexivity, Delete removes the node.
When an edge is selected: L(eft), R(ight), B(oth) change direction, Delete removes the edge.

To see this example as part of a larger project, check out Modal Logic Playground!

	squash = lambda l: reduce(lambda x,y: x+y,map(lambda e: squash(e) if isinstance(e,(list,tuple)) else [e], l), [])

	squash([1,2,(3,[4,5])]) # => [1,2,3,4,5]

	# an real world example ;)
	"\n".join(squash([header,body,footer]))
	# => <html>\n<body><h1>Hello World!</h1></body>\n</html>

	# observe that the sections could be any kind of mess of nested arrays.
	# but in the end, all we really care about is that they get strung together

	<html>
	<body>
	<h1>!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!</h1>
	</body>
	</html>

	<html><head>
	<meta http-equiv="content-type" content="text/html; charset=windows-1252">
	<title>Rock Paper Scissor battling in RGB, FM modulating three sine waves \| WebGL GPGPU + WebAudio</title>
	<script id="shader-vs" type="x-shader/x-vertex">
	attribute vec3 aPos;
	attribute vec2 aTexCoord;
	varying vec2 uv;
	varying vec2 uv_orig;
	void main(void) {
	gl_Position = vec4(aPos, 1.);

	<!DOCTYPE html>
	<html><head>
	<meta http-equiv="content-type" content="text/html; charset=windows-1252">
	<title>reaction diffusion space ship (a/v synth)</title>
	<script id="shader-vs" type="x-shader/x-vertex">
	attribute vec3 aPos;
	attribute vec2 aTexCoord;
	varying vec2 pixel;
	void main(void) {
	gl_Position = vec4(aPos, 1.);

	license: gpl-3.0
	height: 600

	license: gpl-3.0
	height: 960