Skip to content

History / Language Agda

Revisions

  • Move language pages to the new docs

    @kazk kazk committed Apr 15, 2021
    85e1938

  • Add language id section on each language page

    @kazk kazk committed Jun 16, 2020
    3f2a5ac

  • Updated Language Agda (markdown)

    @kazk kazk committed Jun 21, 2019
    cade565

  • Updated Language Agda (markdown)

    @kazk kazk committed Apr 15, 2019
    db9c545

  • Updated Language Agda (markdown)

    @kazk kazk committed Mar 11, 2019
    e6ceaf8

  • Created Language Agda (markdown)

    @kazk kazk committed Mar 11, 2019
    4529028