Skip to content

History / Abstracts.2021.QuotientInductiveInductiveTypes

Revisions

  • Updated Abstracts.2021.QuotientInductiveInductiveTypes

    @bafain bafain committed Dec 11, 2021
    c129e97

  • Updated Abstracts.2021.QuotientInductiveInductiveTypes

    @bafain bafain committed Dec 9, 2021
    61b640d

  • Updated Abstracts.2021.QuotientInductiveInductiveTypes

    @bafain bafain committed Dec 7, 2021
    3a95078

  • Updated Abstracts.2021.QuotientInductiveInductiveTypes (markdown)

    @andreasabel andreasabel committed Dec 7, 2021
    9153920

  • Created Abstracts.2021.QuotientInductiveInductiveTypes (markdown)

    @andreasabel andreasabel committed Dec 7, 2021
    adcb806