Skip to content

History / List of Agda Kata to Update

Edit page New page

Revisions

  • Updated List of Agda Kata to Update (markdown)

    @Kacarott Kacarott committed Nov 7, 2024
    4a250d3

  • Updated List of Agda Kata to Update (markdown)

    @monadius monadius committed Jun 11, 2022
    6376854

  • Updated List of Agda Kata to Update (markdown)

    @monadius monadius committed Jun 11, 2022
    914ae4b

  • Updated List of Agda Kata to Update (markdown)

    @Kacarott Kacarott committed Jun 11, 2022
    5045df5

  • Created List of Agda Kata to Update (markdown)

    @kazk kazk committed Jun 11, 2022
    b8a58ec