arjunguha

{
  "name": "stopify-webpack-demo",
  "version": "1.0.0",
  "main": "index.js",
  "scripts": {
    "build": "./node_modules/.bin/webpack"
  },
  "license": "MIT",
  "dependencies": {
    "babel-loader": "^7.1.2",

arjunguha

{
  "name": "stopify-webpack-demo",
  "version": "1.0.0",
  "main": "index.js",
  "scripts": {
    "build": "./node_modules/.bin/webpack"
  },
  "license": "MIT",
  "dependencies": {
    "babel-loader": "^7.1.2",

arjunguha

(* Run this with utop *)
#require "core";;

(* NetKAT syntax using GADTs *)

open Core.Std

type switchId = Int64.t

type portId = Int32.t

arjunguha

import cmpsci220._

sealed trait I
case class Z() extends I
case class S(prev: I) extends I

def intToI(n: Int): I = n match {
  case 0 => Z()
  case _ => if (n > 0) { S(intToI(n - 1)) }
            else { error("cannot represent negative numbers") }

arjunguha

Vagrant.require_version ">= 1.6.0", "< 1.7.0"

$script = <<EOF
  set -x

  apt-get update
  apt-get upgrade -yq

  apt-get install -y \
    virtualbox-guest-x11 \

arjunguha

// Place in client subdirectory
import Macro._

object Main extends App {

  mymacro {
    println("Printed range")
    println("Should span several characters, but does not :(")
  }

arjunguha

#lang racket
(require json
         web-server/servlet
         web-server/servlet-dispatch
         web-server/web-server
         web-server/dispatch)


(define-values (start mk-url)
  (dispatch-rules

arjunguha

Set Implicit Arguments.

Module Semantics.

  Inductive binop : Set := Plus | Times.
  
  Inductive exp : Set :=
  | Const : nat -> exp
  | Binop : binop -> exp -> exp -> exp.
  

arjunguha

Set Implicit Arguments.

Require Import Cpdt.CpdtTactics.
Require Import Lists.List Arith.

Module LE.

  Unset Printing Notations.
  Check (forall (n m : nat), { n <= m } + { n > m }).
  Check (forall (n m : nat), n <= m \/ n > m ).

arjunguha

Set Implicit Arguments.

Require Import Arith Omega.

Section Evenness.

  Inductive even : nat -> Prop :=
    | zero_even : even 0
    | ss_even : forall (n : nat), even n -> even (S (S n)).