Skip to content

History / Egg #4: Agda style records and modules

Edit page New page

Revisions

  • Updated Egg #4: Agda style records and modules (mediawiki)

    @ziman ziman committed Apr 3, 2015
    43aab80

  • Updated Egg #4: Agda style records and modules (mediawiki)

    @ziman ziman committed Apr 3, 2015
    3a9cdd5

  • Add Record hierarchies

    @ziman ziman committed Apr 3, 2015
    1e06fd6

  • Updated Egg #4: Agda style records and modules (mediawiki)

    @ziman ziman committed Feb 13, 2014
    c88d402

  • Updated Egg #4: Agda style records and modules (mediawiki)

    @chrisschwaab chrisschwaab committed Feb 13, 2014
    b00a78a

  • Created Egg #4: Agda style records and modules (mediawiki)

    @ziman ziman committed Feb 12, 2014
    02a4f70