Permalink
Switch branches/tags
Nothing to show
Commits on Aug 8, 2012
  1. Update gitignore

    norm2782 committed Aug 8, 2012
Commits on Jul 3, 2012
  1. Merge pull request #2 from norm2782/master

    Wouter Swierstra committed Jul 3, 2012
    s/PermApp/PermAppL, add PermAppR, remove NoDupAppConsR', cleanup NoDupAppL, remove NoDupAppApp
  2. Finished proving some local/invariant properties; proof cleanup still…

    Wouter Swierstra committed Jul 3, 2012
    … needed
Commits on Jul 2, 2012
  1. Remove PermAppAss

    norm2782 committed Jul 2, 2012
  2. Remove NoDupAppConsR'

    norm2782 committed Jul 2, 2012
  3. Merge pull request #1 from norm2782/master

    Wouter Swierstra committed Jul 2, 2012
    Add and prove several lemmas for NoDup, Permutation, and In
Commits on Jun 29, 2012
  1. Cleanup

    norm2782 committed Jun 29, 2012
  2. WIP: NoDupNotIn

    norm2782 committed Jun 29, 2012
  3. Minor cleanup

    norm2782 committed Jun 29, 2012
  4. Revert "Add PermutationMaybeNilFlatMap"

    norm2782 committed Jun 29, 2012
    This reverts commit 8144f36.
  5. Add PermutationMaybeNilFlatMap

    norm2782 committed Jun 29, 2012
  6. Prove NotInCons

    norm2782 committed Jun 29, 2012
  7. Formatting

    norm2782 committed Jun 29, 2012
  8. Minor proof refactoring

    norm2782 committed Jun 29, 2012
Commits on Jun 28, 2012
  1. Refactor NoDupFlatMapCons

    norm2782 committed Jun 28, 2012
  2. Switch args

    norm2782 committed Jun 28, 2012
  3. Push

    norm2782 committed Jun 28, 2012
Commits on Jun 27, 2012
  1. Revert eta-reduction partially

    norm2782 committed Jun 27, 2012
  2. eta-reduction in invariant

    norm2782 committed Jun 27, 2012
  3. WIP proofs

    norm2782 committed Jun 27, 2012
  4. Formatting + remove experiment

    norm2782 committed Jun 27, 2012