Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rewrite theory #238

Draft
wants to merge 19 commits into
base: main
Choose a base branch
from
Draft

Rewrite theory #238

wants to merge 19 commits into from

Commits on Jun 2, 2023

  1. def: refactor sum recursor

    @TOTBWF
    TOTBWF committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    b2bd6bd View commit details
    Browse the repository at this point in the history

  2. wip: closure of relations

    @TOTBWF
    TOTBWF committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    b601ec7 View commit details
    Browse the repository at this point in the history

  3. wip: more closures

    @TOTBWF
    TOTBWF committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    48adc16 View commit details
    Browse the repository at this point in the history

  4. wip: modify some recursion principles

    @TOTBWF
    TOTBWF committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    b5f5e08 View commit details
    Browse the repository at this point in the history

  5. wip: church rosser = confluence = semiconfluence

    @TOTBWF
    TOTBWF committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    5e6453f View commit details
    Browse the repository at this point in the history

  6. def: confluence, strong normalisation

    @TOTBWF
    TOTBWF committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    a0f50fe View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2023

  1. fix: formatting

    @TOTBWF
    TOTBWF committed Jun 3, 2023
    Configuration menu
    Copy the full SHA
    1561da2 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. def: relations

    @TOTBWF
    TOTBWF committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    ad7cf06 View commit details
    Browse the repository at this point in the history

  2. def: a bunch of random properties of closure

    @TOTBWF
    TOTBWF committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    320d849 View commit details
    Browse the repository at this point in the history

  3. def: reorganize closures of relations

    @TOTBWF
    TOTBWF committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    db049f0 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. def: write prose for commuting rewrites

    @TOTBWF
    TOTBWF committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    3627ec0 View commit details
    Browse the repository at this point in the history

  2. def: commutative rewrite lemma

    @TOTBWF
    TOTBWF committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    4bd6949 View commit details
    Browse the repository at this point in the history

  3. fix: remove redundant import

    @TOTBWF
    TOTBWF committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    675a98f View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. refactor: rename ∥-∥-proj to ∥-∥-proj!

    @TOTBWF
    TOTBWF committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    eafa9eb View commit details
    Browse the repository at this point in the history

  2. def: normal forms, confluence implies uniqueness

    @TOTBWF
    TOTBWF committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    aa6aeb4 View commit details
    Browse the repository at this point in the history

  3. def: more lemmas about normal forms

    @TOTBWF
    TOTBWF committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    b122f6b View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2023

  1. def: some more theorems about normal forms

    @TOTBWF
    TOTBWF committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    ebb1721 View commit details
    Browse the repository at this point in the history

  2. fix: clean up unused files

    @TOTBWF
    TOTBWF committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    48d9939 View commit details
    Browse the repository at this point in the history

  3. fix: fix up links

    @TOTBWF
    TOTBWF committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    bfa4de1 View commit details
    Browse the repository at this point in the history