tzemanovic/plfa: standard-library/CHANGELOG

PLFA agda exercises

tzemanovic

10. Lists

yesterday at 04:34

v0.01.md

add standard-library

on February 13, 2026
v0.02.md

add standard-library

on February 13, 2026
v0.03.md

add standard-library

on February 13, 2026
v0.04.md

add standard-library

on February 13, 2026
v0.05.md

add standard-library

on February 13, 2026
v0.06.md

add standard-library

on February 13, 2026
v0.07.md

add standard-library

on February 13, 2026
v0.08.1.md

add standard-library

on February 13, 2026
v0.08.md

add standard-library

on February 13, 2026
v0.09.md

add standard-library

on February 13, 2026
v0.10.md

add standard-library

on February 13, 2026
v0.11.md

add standard-library

on February 13, 2026
v0.12.md

add standard-library

on February 13, 2026
v0.13.md

add standard-library

on February 13, 2026
v0.14.md

add standard-library

on February 13, 2026
v0.15.md

add standard-library

on February 13, 2026
v0.16.md

add standard-library

on February 13, 2026
v0.17.md

add standard-library

on February 13, 2026
v1.0.1.md

add standard-library

on February 13, 2026
v1.0.md

add standard-library

on February 13, 2026
v1.1.md

add standard-library

on February 13, 2026
v1.2.md

add standard-library

on February 13, 2026
v1.3.md

add standard-library

on February 13, 2026
v1.4.md

add standard-library

on February 13, 2026
v1.5.md

add standard-library

on February 13, 2026
v1.6.md

add standard-library

on February 13, 2026
v1.7.1.md

add standard-library

on February 13, 2026
v1.7.2.md

add standard-library

on February 13, 2026
v1.7.3.md

add standard-library

on February 13, 2026
v1.7.md

add standard-library

on February 13, 2026
v2.0.md

add standard-library

on February 13, 2026