Paul Brauner polux

## Eval.hs
-- Copyright 2018 Google LLC.
-- SPDX-License-Identifier: Apache-2.0

{-# LANGUAGE FlexibleContexts #-}

import Control.Applicative
import Control.Monad.Writer

data Expr = Lit Int | Plus Expr Expr | Times Expr Expr
  deriving (Eq, Show)

## designer.html
<link rel="import" href="../paper-input/paper-input.html">

<polymer-element name="my-element">

  <template>
    <style>
      :host {
        position: absolute;
        width: 100%;
        height: 100%;

## gist:8375474
class None {
  None();
}

class Some {
  final value;
  Some(this.value);
}

/* environments */

## gist:8030692
class Node {
  final val;
  final left;
  final right;

  Node(this.val, this.left, this.right);

  insert(n) =>
    n.lt(this.val)
      ? new Node(this.val, this.left.insert(n), this.right)

## gist:8021388
class Cons {
  final x;
  final xs;

  Cons(this.x, this.xs);

  freeze() => new Cons(((v) => <v>)(this.x), this.xs.freeze());
  contains(e) => < (~this.x).eq(~e) ? true : ~(this.xs.contains(e)) >;
}

## gist:3779102
import Data.Char

main = interact unindent

unindent = unlines . unindentLines . lines

unindentLines ls = map (drop commonPrefixLength) ls
  where -- the number of characters to drop from each line
        commonPrefixLength = length (commonPrefix prefixes)
        -- whitespace-only prefixes of non-empty lines of ls

## gist:996864
<!DOCTYPE HTML>
<html>
  <head>
    <script type="text/javascript" src="flapjax.js"></script>
    <script>
      function onload() {

         /****** utils ******/

         // 2d vectors
	-- Copyright 2018 Google LLC.
	-- SPDX-License-Identifier: Apache-2.0

	{-# LANGUAGE FlexibleContexts #-}

	import Control.Applicative
	import Control.Monad.Writer

	data Expr = Lit Int \| Plus Expr Expr \| Times Expr Expr
	deriving (Eq, Show)
	<link rel="import" href="../paper-input/paper-input.html">

	<polymer-element name="my-element">

	<template>
	<style>
	:host {
	position: absolute;
	width: 100%;
	height: 100%;
	class None {
	None();
	}

	class Some {
	final value;
	Some(this.value);
	}

	/* environments */
	class Node {
	final val;
	final left;
	final right;

	Node(this.val, this.left, this.right);

	insert(n) =>
	n.lt(this.val)
	? new Node(this.val, this.left.insert(n), this.right)
	class Cons {
	final x;
	final xs;

	Cons(this.x, this.xs);

	freeze() => new Cons(((v) => <v>)(this.x), this.xs.freeze());
	contains(e) => < (~this.x).eq(~e) ? true : ~(this.xs.contains(e)) >;
	}
	import Data.Char

	main = interact unindent

	unindent = unlines . unindentLines . lines

	unindentLines ls = map (drop commonPrefixLength) ls
	where -- the number of characters to drop from each line
	commonPrefixLength = length (commonPrefix prefixes)
	-- whitespace-only prefixes of non-empty lines of ls
	<!DOCTYPE HTML>
	<html>
	<head>
	<script type="text/javascript" src="flapjax.js"></script>
	<script>
	function onload() {

	/**** utils ****/

	// 2d vectors