Skip to content

History / Typeclasses and Canonical Structures

Edit page New page

Revisions

  • Updated Typeclasses and Canonical Structures (markdown)

    @JasonGross JasonGross committed Apr 12, 2022
    77c5c28

  • Add link to more resources on the TC vs Canonical topic

    @ejgallego ejgallego committed Mar 22, 2021
    9340320

  • Updated Typeclasses and Canonical Structures (markdown)

    @soraros soraros committed May 12, 2019
    94a6f98

  • Link to "How to Make Ad Hoc Proof Automation Less Ad Hoc"

    @anton-trunov anton-trunov committed Jun 20, 2018
    fdf9584

  • Updated Typeclasses and Canonical Structures (markdown)

    @RalfJung RalfJung committed Jun 20, 2018
    19ecd37

  • Updated Typeclasses and Canonical Structures (markdown)

    @RalfJung RalfJung committed Jun 20, 2018
    7c3ff79

  • Updated Typeclasses and Canonical Structures (markdown)

    @RalfJung RalfJung committed Jun 20, 2018
    7641050

  • Updated Typeclasses and Canonical Structures (markdown)

    @RalfJung RalfJung committed Jun 20, 2018
    6cadf38

  • Updated Typeclasses and Canonical Structures (markdown)

    @RalfJung RalfJung committed Jun 20, 2018
    91eb94c

  • Updated Typeclasses and Canonical Structures (markdown)

    @RalfJung RalfJung committed Jun 20, 2018
    c9a9d46

  • Added more references on typeclasses versus canonical structures as pointed out by @RalfJung on gitter

    @bollu bollu committed Jun 20, 2018
    e7d01c5

  • Add a back link to the Coq FAQ.

    @Zimmi48 Zimmi48 committed Jun 12, 2018
    b030213

  • Updated Typeclasses and Canonical Structures (markdown)

    @bollu bollu committed Jun 12, 2018
    16b318c

  • Start a new page on typeclasses and canonical structures

    @bollu bollu committed Jun 12, 2018
    c0b612a