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

Dependent Composition #144

Open
wants to merge 41 commits into
base: main
Choose a base branch
from
Open

Dependent Composition #144

wants to merge 41 commits into from
+261 −19

Commits on Apr 29, 2024

  1. experiment

    @thchatzidiamantis
    thchatzidiamantis committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    c68b463 View commit details
    Browse the repository at this point in the history

  2. nonsense

    @thchatzidiamantis
    thchatzidiamantis committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    9e06319 View commit details
    Browse the repository at this point in the history

  3. hello mr google how do I compose maps

    @thchatzidiamantis
    thchatzidiamantis committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    d9a8ee0 View commit details
    Browse the repository at this point in the history

  4. hello google how do I compose maps

    @thchatzidiamantis
    thchatzidiamantis committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    0b2de2f View commit details
    Browse the repository at this point in the history

  5. If an infinite number of monkeys type randomly on infinite typewriter… 

    …s, does one of them produce composition over a Segal type?
    @thchatzidiamantis
    thchatzidiamantis committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    1688283 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. ?

    @thchatzidiamantis
    thchatzidiamantis committed May 1, 2024
    Configuration menu
    Copy the full SHA
    e50e3b1 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. fdjahFIJ

    @thchatzidiamantis
    thchatzidiamantis committed May 8, 2024
    Configuration menu
    Copy the full SHA
    13c6f0b View commit details
    Browse the repository at this point in the history

  2. dcomp

    @thchatzidiamantis
    thchatzidiamantis committed May 8, 2024
    Configuration menu
    Copy the full SHA
    9bd60f5 View commit details
    Browse the repository at this point in the history

  3. Update 08-covariant.rzk.md

    @thchatzidiamantis
    thchatzidiamantis committed May 8, 2024
    Configuration menu
    Copy the full SHA
    a12e804 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. stuff

    @thchatzidiamantis
    thchatzidiamantis committed May 26, 2024
    Configuration menu
    Copy the full SHA
    4eb0fb8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/thchatzidiamantis/sHoTT

    @thchatzidiamantis
    thchatzidiamantis committed May 26, 2024
    Configuration menu
    Copy the full SHA
    6256e3f View commit details
    Browse the repository at this point in the history

  3. problem

    @thchatzidiamantis
    thchatzidiamantis committed May 26, 2024
    Configuration menu
    Copy the full SHA
    8d96c09 View commit details
    Browse the repository at this point in the history

  4. problem

    @thchatzidiamantis
    thchatzidiamantis committed May 26, 2024
    Configuration menu
    Copy the full SHA
    b2de3fa View commit details
    Browse the repository at this point in the history

  5. nothing works

    @thchatzidiamantis
    thchatzidiamantis committed May 26, 2024
    Configuration menu
    Copy the full SHA
    4917e1b View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. approach 3

    @thchatzidiamantis
    thchatzidiamantis committed May 28, 2024
    Configuration menu
    Copy the full SHA
    51ea1e9 View commit details
    Browse the repository at this point in the history

  2. approach 3

    @thchatzidiamantis
    thchatzidiamantis committed May 28, 2024
    Configuration menu
    Copy the full SHA
    3b771ec View commit details
    Browse the repository at this point in the history

  3. new crash!

    @thchatzidiamantis
    thchatzidiamantis committed May 28, 2024
    Configuration menu
    Copy the full SHA
    49aad75 View commit details
    Browse the repository at this point in the history

  4. Labeled the crashes

    @thchatzidiamantis
    thchatzidiamantis committed May 28, 2024
    Configuration menu
    Copy the full SHA
    30115a2 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. more problems

    @thchatzidiamantis
    thchatzidiamantis committed May 29, 2024
    Configuration menu
    Copy the full SHA
    d6039a0 View commit details
    Browse the repository at this point in the history

  2. crash again

    @thchatzidiamantis
    thchatzidiamantis committed May 29, 2024
    Configuration menu
    Copy the full SHA
    c4930c1 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. something works

    @thchatzidiamantis
    thchatzidiamantis committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    0bd1544 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. new crashes dropped

    @thchatzidiamantis
    thchatzidiamantis committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    2d67a0b View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. modified 06-contractible

    @thchatzidiamantis
    thchatzidiamantis committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f4b7a89 View commit details
    Browse the repository at this point in the history

  2. looks better

    @thchatzidiamantis
    thchatzidiamantis committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    b8888fd View commit details
    Browse the repository at this point in the history

  3. contractible over sum type

    @thchatzidiamantis
    thchatzidiamantis committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    56bb0d9 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. formatting

    @thchatzidiamantis
    thchatzidiamantis committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    15e947d View commit details
    Browse the repository at this point in the history

  2. formatting

    @thchatzidiamantis
    thchatzidiamantis committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    19b1fef View commit details
    Browse the repository at this point in the history

  3. Merge branch 'Contractible' of https://github.com/thchatzidiamantis/s… 

    …HoTT
    @thchatzidiamantis
    thchatzidiamantis committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    30de393 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. dependent comp

    @thchatzidiamantis
    thchatzidiamantis committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    999e8d8 View commit details
    Browse the repository at this point in the history

  2. start

    @thchatzidiamantis
    thchatzidiamantis committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ac57b2b View commit details
    Browse the repository at this point in the history

  3. progress

    @thchatzidiamantis
    thchatzidiamantis committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    2315266 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Merge branch 'Contractible' of https://github.com/thchatzidiamantis/s… 

    …HoTT
    @thchatzidiamantis
    thchatzidiamantis committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    fcc98a9 View commit details
    Browse the repository at this point in the history

  2. dependent composition?

    @thchatzidiamantis
    thchatzidiamantis committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    9a2de67 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. dcomp

    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    80767a8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'Contractible' of https://github.com/thchatzidiamantis/s… 

    …HoTT
    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    51a2ffb View commit details
    Browse the repository at this point in the history

  3. dcomp

    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    b1ccbb4 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'rzk-lang:main' into dcomp

    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    6dac4ba View commit details
    Browse the repository at this point in the history

  5. Update 08-covariant.rzk.md

    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    4c980e1 View commit details
    Browse the repository at this point in the history

  6. added witness and uniqueness

    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    a2feb93 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'dcomp' of https://github.com/thchatzidiamantis/sHoTT in… 

    …to dcomp
    @thchatzidiamantis
    thchatzidiamantis committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    1c55c8c View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. renamings

    @thchatzidiamantis
    thchatzidiamantis committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    c45f467 View commit details
    Browse the repository at this point in the history