Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

Jul 26, 2013

  1. Joe Politz

    todone

    jpolitz authored
  2. Joe Politz

    move redex stuff

    jpolitz authored
  3. Joe Politz

    move prolog stuff

    jpolitz authored

May 10, 2013

  1. hannahqd

    HTApp case is shiny

    hannahqd authored
  2. hannahqd

    Yet more cleanup.

    hannahqd authored
  3. hannahqd

    More cleanup.

    hannahqd authored
  4. hannahqd

    Hinting and cleanup.

    hannahqd authored
  5. hannahqd

    Hinting inversion lemmas.

    hannahqd authored

May 08, 2013

  1. hannahqd

    Clean up.

    hannahqd authored

May 07, 2013

  1. hannahqd

    soundness is le done.

    hannahqd authored
  2. hannahqd

    Cleaning out unused lemmas and admits

    hannahqd authored
  3. hannahqd

    Gamma lemmas and subst_type

    hannahqd authored

May 06, 2013

  1. hannahqd

    Working on Gamma lemmas

    hannahqd authored
  2. Joe Politz

    sflib

    jpolitz authored

May 03, 2013

  1. Joe Politz

    most of subst, need weakening on environments with has_type

    jpolitz authored
  2. Joe Politz

    skeleton of subst for types

    jpolitz authored

May 02, 2013

  1. Joe Politz

    delta_subtype

    jpolitz authored
  2. Joe Politz

    Ben's suggestion for destruct; destruct

    jpolitz authored
  3. Joe Politz

    progress shortened, apply lemmas fixed

    jpolitz authored

May 01, 2013

  1. Joe Politz

    more extern attempts

    jpolitz authored
  2. Joe Politz

    clean up transitivity

    jpolitz authored
  3. Joe Politz

    clean up

    jpolitz authored
  4. Joe Politz

    clean up

    jpolitz authored
  5. Joe Politz

    clean up this case

    jpolitz authored
  6. Joe Politz

    some cleanup sketches

    jpolitz authored

Apr 30, 2013

  1. Joe Politz

    we made progress

    jpolitz authored
  2. Joe Politz

    checkpointing after holefillers

    jpolitz authored
  3. Joe Politz

    app_n error case and related lammas

    jpolitz authored

Apr 26, 2013

  1. Joe Politz

    more lambda inversion work, slightly confused but making progress

    jpolitz authored
  2. Joe Politz

    inverting lambdas --- note that this is stronger than what we prove i…

    …n the paper
    jpolitz authored
  3. Joe Politz

    progressives

    jpolitz authored
  4. Joe Politz

    clean up htapp todos

    jpolitz authored

Apr 24, 2013

  1. hannahqd

    HTApp skelington and lemmas

    hannahqd authored
  2. hannahqd

    Transitivity of subtyping

    hannahqd authored

Apr 19, 2013

  1. Joe Politz

    Ben helped me clean up some admits

    jpolitz authored
Something went wrong with that request. Please try again.