Skip to content

History / Language Idris

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 Idris (markdown)

    @kazk kazk committed Mar 5, 2019
    0e4468c

  • Created Language Idris (markdown)

    @kazk kazk committed Mar 2, 2019
    b386cc0